[automated] update groups.io wiki

This commit is contained in:
github-actions
2025-02-12 00:36:20 +00:00
parent d99beb4fcf
commit 7040e5a938
302 changed files with 4255 additions and 3088 deletions
@@ -2230,12 +2230,12 @@ hr {
--light-mode-light-text-color: #707070;
--light-mode-divider: #ccc;
--dark-mode-body-color: #141414;
--dark-mode-primary-color: rgb(36, 37, 38);
--dark-mode-body-color: rgb(28, 28, 29);
--dark-mode-primary-color: rgb(37, 39, 40);
--dark-mode-highlight-color: rgb(58, 59, 60);
--dark-mode-input-color: #141414;
--dark-mode-text-color: rgb(222, 226, 230);
--dark-mode-reverse-text-color: #141414;
--dark-mode-input-color: rgb(28, 28, 29);
--dark-mode-text-color: rgb(219, 221, 225);
--dark-mode-reverse-text-color: rgb(28, 28, 29);
--dark-mode-light-text-color: #999;
--dark-mode-divider: rgb(62, 64, 66);
@@ -3063,6 +3063,14 @@ body {
list-style-type: disc;
}
.robohelp-reltopics-caption {
font-weight: bold;
}
#manual h2 {
font-size: 20px;
}
.scrollbar {
overflow-y: auto;
max-height: calc(100vh - 61px);