deploy: eb3b362

assets/highlight.css

@@ -1,42 +1,32 @@
 :root {
-    --light-hl-0: #795E26;
-    --dark-hl-0: #DCDCAA;
+    --light-hl-0: #001080;
+    --dark-hl-0: #9CDCFE;
     --light-hl-1: #000000;
     --dark-hl-1: #D4D4D4;
-    --light-hl-2: #A31515;
-    --dark-hl-2: #CE9178;
-    --light-hl-3: #0000FF;
-    --dark-hl-3: #569CD6;
-    --light-hl-4: #008000;
-    --dark-hl-4: #6A9955;
+    --light-hl-2: #098658;
+    --dark-hl-2: #B5CEA8;
+    --light-hl-3: #008000;
+    --dark-hl-3: #6A9955;
+    --light-hl-4: #800000;
+    --dark-hl-4: #808080;
     --light-hl-5: #800000;
-    --dark-hl-5: #808080;
-    --light-hl-6: #800000;
-    --dark-hl-6: #569CD6;
-    --light-hl-7: #000000FF;
-    --dark-hl-7: #D4D4D4;
-    --light-hl-8: #E50000;
-    --dark-hl-8: #9CDCFE;
-    --light-hl-9: #0000FF;
-    --dark-hl-9: #CE9178;
-    --light-hl-10: #AF00DB;
-    --dark-hl-10: #C586C0;
-    --light-hl-11: #001080;
-    --dark-hl-11: #9CDCFE;
-    --light-hl-12: #0070C1;
-    --dark-hl-12: #4FC1FF;
-    --light-hl-13: #098658;
-    --dark-hl-13: #B5CEA8;
-    --light-hl-14: #267F99;
-    --dark-hl-14: #4EC9B0;
-    --light-hl-15: #000000;
-    --dark-hl-15: #C8C8C8;
-    --light-hl-16: #EE0000;
-    --dark-hl-16: #D7BA7D;
-    --light-hl-17: #811F3F;
-    --dark-hl-17: #D16969;
-    --light-hl-18: #0451A5;
-    --dark-hl-18: #9CDCFE;
+    --dark-hl-5: #569CD6;
+    --light-hl-6: #000000FF;
+    --dark-hl-6: #D4D4D4;
+    --light-hl-7: #E50000;
+    --dark-hl-7: #9CDCFE;
+    --light-hl-8: #0000FF;
+    --dark-hl-8: #CE9178;
+    --light-hl-9: #795E26;
+    --dark-hl-9: #DCDCAA;
+    --light-hl-10: #A31515;
+    --dark-hl-10: #CE9178;
+    --light-hl-11: #AF00DB;
+    --dark-hl-11: #C586C0;
+    --light-hl-12: #0000FF;
+    --dark-hl-12: #569CD6;
+    --light-hl-13: #0070C1;
+    --dark-hl-13: #4FC1FF;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }
@@ -56,11 +46,6 @@
     --hl-11: var(--light-hl-11);
     --hl-12: var(--light-hl-12);
     --hl-13: var(--light-hl-13);
-    --hl-14: var(--light-hl-14);
-    --hl-15: var(--light-hl-15);
-    --hl-16: var(--light-hl-16);
-    --hl-17: var(--light-hl-17);
-    --hl-18: var(--light-hl-18);
     --code-background: var(--light-code-background);
 } }
 
@@ -79,11 +64,6 @@
     --hl-11: var(--dark-hl-11);
     --hl-12: var(--dark-hl-12);
     --hl-13: var(--dark-hl-13);
-    --hl-14: var(--dark-hl-14);
-    --hl-15: var(--dark-hl-15);
-    --hl-16: var(--dark-hl-16);
-    --hl-17: var(--dark-hl-17);
-    --hl-18: var(--dark-hl-18);
     --code-background: var(--dark-code-background);
 } }
 
@@ -102,11 +82,6 @@
     --hl-11: var(--light-hl-11);
     --hl-12: var(--light-hl-12);
     --hl-13: var(--light-hl-13);
-    --hl-14: var(--light-hl-14);
-    --hl-15: var(--light-hl-15);
-    --hl-16: var(--light-hl-16);
-    --hl-17: var(--light-hl-17);
-    --hl-18: var(--light-hl-18);
     --code-background: var(--light-code-background);
 }
 
@@ -125,11 +100,6 @@
     --hl-11: var(--dark-hl-11);
     --hl-12: var(--dark-hl-12);
     --hl-13: var(--dark-hl-13);
-    --hl-14: var(--dark-hl-14);
-    --hl-15: var(--dark-hl-15);
-    --hl-16: var(--dark-hl-16);
-    --hl-17: var(--dark-hl-17);
-    --hl-18: var(--dark-hl-18);
     --code-background: var(--dark-code-background);
 }
 
@@ -147,9 +117,4 @@
 .hl-11 { color: var(--hl-11); }
 .hl-12 { color: var(--hl-12); }
 .hl-13 { color: var(--hl-13); }
-.hl-14 { color: var(--hl-14); }
-.hl-15 { color: var(--hl-15); }
-.hl-16 { color: var(--hl-16); }
-.hl-17 { color: var(--hl-17); }
-.hl-18 { color: var(--hl-18); }
 pre, code { background: var(--code-background); }