[automated] update groups.io wiki

This commit is contained in:
github-actions
2023-11-15 00:27:03 +00:00
parent 84fd5a3da3
commit d418605857
245 changed files with 4752 additions and 4600 deletions
@@ -2197,6 +2197,16 @@ hr {
color: #eeeeee;
}
.modal-dialog {
margin-top: max(10px, env(safe-area-inset-top));
}
@media (min-width: 768px) {
.modal-dialog {
margin-top: max(30px, env(safe-area-inset-top));
}
}
/* otherwise selects extend to the entire width, which is too wide */
select.form-control {
width: auto;
@@ -4223,3 +4233,29 @@ body.app .navbar-fixed-top {
color: white;
}
.fs-1 {
font-size: 40px;
}
/* Larger */
.fs-2 {
font-size: 32px;
}
.fs-3 {
font-size: 28px;
}
.fs-4 {
font-size: 24px;
}
.fs-5 {
font-size: 20px;
}
/* Default */
.fs-6 {
font-size: 16px;
}