[automated] update groups.io wiki

2026-11-01 15:04:51 +01:00 · 2025-02-05 00:36:22 +00:00
parent c4dda79e52
commit ab6353b44f
241 changed files with 1839 additions and 1821 deletions
@@ -3050,6 +3050,19 @@ body {
 	border-color:rgb(204,204,204);
 }

+.robohelp-important {
+	color: #d9534f;
+	font-weight: bold;
+}
+
+.robohelp-callout {
+	font-weight: bold;
+}
+
+.robohelp-reltopics-list {
+	list-style-type: disc;
+}
+
 .scrollbar {
 	overflow-y: auto;
 	max-height: calc(100vh - 61px);
@@ -6009,6 +6022,11 @@ body.dark-mode .alert-danger {
 	color: rgb(234, 134, 143);
 }

+body.dark-mode .robohelp-important {
+	color: rgb(234, 134, 143);
+}
+
+
 /* Badge */
 body.dark-mode .badge {
 	background-color: #a5a5a5;