docs: update documentation [skip ci]

assets/highlight.css

@@ -7,28 +7,24 @@
     --dark-hl-2: #9CDCFE;
     --light-hl-3: #A31515;
     --dark-hl-3: #CE9178;
-    --light-hl-4: #0000FF;
-    --dark-hl-4: #569CD6;
-    --light-hl-5: #0070C1;
-    --dark-hl-5: #4FC1FF;
-    --light-hl-6: #795E26;
-    --dark-hl-6: #DCDCAA;
-    --light-hl-7: #098658;
-    --dark-hl-7: #B5CEA8;
-    --light-hl-8: #008000;
-    --dark-hl-8: #6A9955;
+    --light-hl-4: #008000;
+    --dark-hl-4: #6A9955;
+    --light-hl-5: #0000FF;
+    --dark-hl-5: #569CD6;
+    --light-hl-6: #0070C1;
+    --dark-hl-6: #4FC1FF;
+    --light-hl-7: #795E26;
+    --dark-hl-7: #DCDCAA;
+    --light-hl-8: #800000;
+    --dark-hl-8: #808080;
     --light-hl-9: #800000;
-    --dark-hl-9: #808080;
-    --light-hl-10: #800000;
-    --dark-hl-10: #569CD6;
-    --light-hl-11: #000000FF;
-    --dark-hl-11: #D4D4D4;
-    --light-hl-12: #E50000;
-    --dark-hl-12: #9CDCFE;
-    --light-hl-13: #0000FF;
-    --dark-hl-13: #CE9178;
-    --light-hl-14: #EE0000;
-    --dark-hl-14: #D7BA7D;
+    --dark-hl-9: #569CD6;
+    --light-hl-10: #000000FF;
+    --dark-hl-10: #D4D4D4;
+    --light-hl-11: #E50000;
+    --dark-hl-11: #9CDCFE;
+    --light-hl-12: #0000FF;
+    --dark-hl-12: #CE9178;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }
@@ -47,8 +43,6 @@
     --hl-10: var(--light-hl-10);
     --hl-11: var(--light-hl-11);
     --hl-12: var(--light-hl-12);
-    --hl-13: var(--light-hl-13);
-    --hl-14: var(--light-hl-14);
     --code-background: var(--light-code-background);
 } }
 
@@ -66,8 +60,6 @@
     --hl-10: var(--dark-hl-10);
     --hl-11: var(--dark-hl-11);
     --hl-12: var(--dark-hl-12);
-    --hl-13: var(--dark-hl-13);
-    --hl-14: var(--dark-hl-14);
     --code-background: var(--dark-code-background);
 } }
 
@@ -85,8 +77,6 @@
     --hl-10: var(--light-hl-10);
     --hl-11: var(--light-hl-11);
     --hl-12: var(--light-hl-12);
-    --hl-13: var(--light-hl-13);
-    --hl-14: var(--light-hl-14);
     --code-background: var(--light-code-background);
 }
 
@@ -104,8 +94,6 @@
     --hl-10: var(--dark-hl-10);
     --hl-11: var(--dark-hl-11);
     --hl-12: var(--dark-hl-12);
-    --hl-13: var(--dark-hl-13);
-    --hl-14: var(--dark-hl-14);
     --code-background: var(--dark-code-background);
 }
 
@@ -122,6 +110,4 @@
 .hl-10 { color: var(--hl-10); }
 .hl-11 { color: var(--hl-11); }
 .hl-12 { color: var(--hl-12); }
-.hl-13 { color: var(--hl-13); }
-.hl-14 { color: var(--hl-14); }
 pre, code { background: var(--code-background); }