Last improvements for Dark Mode and bigger Screens

Snooz82 · Snooz82 · commit bca33602f790 · 2021-11-19T19:42:28.000+01:00
diff --git a/doc/userguide/src/userguide.css b/doc/userguide/src/userguide.css
@@ -38,6 +38,7 @@ customize this style sheet.
 
 @media (prefers-color-scheme: dark) {
     :root {
+        color-scheme: dark;
         --background-color: #1c2227;
         --text-color: #e2e1d7;
         --border-color: #4e4e4e;
@@ -123,6 +124,17 @@ body {
 
 }
 
+@media (min-width: 1400px) {
+    body > * {
+        padding-left: calc(min(600px, 100vw - 1000px));
+    }
+
+    #table-of-contents{
+        width: max(25%, 100vw - 1020px);
+        max-width: 580px;
+    }
+}
+
 a {
     color: var(--link-color);
 }
diff --git a/src/robot/htmldata/libdoc/libdoc.css b/src/robot/htmldata/libdoc/libdoc.css
@@ -12,6 +12,7 @@
 
 @media (prefers-color-scheme: dark) {
     :root {
+        color-scheme: dark;
         --background-color: #1c2227;
         --text-color: #e2e1d7;
         --border-color: #4e4e4e;
