[automated] update groups.io wiki

This commit is contained in:
github-actions
2026-04-01 01:14:19 +00:00
parent 5f548b3af7
commit 453747d80e
137 changed files with 59097 additions and 4549 deletions
@@ -2806,6 +2806,10 @@ body {
scroll-margin-top: 60px;
}
#manual .panel[id] {
scroll-margin-top: 70px;
}
.groupmaincontent {
margin-left: 235px;
}
@@ -3949,6 +3953,11 @@ table.table-fixed {
color: #000;
}
.wikidisplay h1[id], .wikidisplay h2[id], .wikidisplay h3[id],
.wikidisplay h4[id], .wikidisplay h5[id], .wikidisplay h6[id] {
scroll-margin-top: 70px;
}
.wikidisplay a {
text-decoration: underline;
}