even more css formatting

jashkenas · Jul 24, 2024 · bd3468b · bd3468b
1 parent dd23fd0
commit bd3468b
Showing 1 changed file with 18 additions and 18 deletions.
diff --git a/index.html b/index.html
@@ -262,50 +262,50 @@
 
     @media screen and (prefers-color-scheme: dark) {
       body {
-          background: #111 !important;
-          color: #c6c6c6;
+        background: #111 !important;
+        color: #c6c6c6;
       }
       div#sidebar {
-          background: #111;
-          border-right: 1px solid #666;
-          box-shadow: 0 0 20px #555;
-          -webkit-box-shadow: 0 0 20px #555;
-          -moz-box-shadow: 0 0 20px #555;
+        background: #111;
+        border-right: 1px solid #666;
+        box-shadow: 0 0 20px #555;
+        -webkit-box-shadow: 0 0 20px #555;
+        -moz-box-shadow: 0 0 20px #555;
       }
       a.toc_title,
       a.toc_title:visited {
-          color: #f4f4f4;
+        color: #f4f4f4;
       }
       a.toc_title:hover {
-          text-decoration: underline;
+        text-decoration: underline;
       }
       .toc_section li a {
-          text-decoration: none;
-          color: #f4f4f4;
+        text-decoration: none;
+        color: #f4f4f4;
       }
       img#logo {
         filter: invert(1) hue-rotate(180deg) brightness(0.9);
       }
       div.warning {
-          color: #CC6060;
+        color: #CC6060;
       }
       a,
       a:visited {
-          color: #f4f4f4;
+        color: #f4f4f4;
       }
       a:active,
       a:hover {
-          color: #ffffff;
+        color: #ffffff;
       }
       table .rule {
-          background: #777;
+        background: #777;
       }
       tt {
-          background: #444;
-          border: 1px solid #777;
+        background: #444;
+        border: 1px solid #777;
       }
       pre {
-          border-left: 5px solid #aaa;
+        border-left: 5px solid #aaa;
       }
     }
   </style>