Automated docs update

assets/highlight.css

@@ -9,7 +9,7 @@
     --dark-hl-3: #569CD6;
     --light-hl-4: #000000FF;
     --dark-hl-4: #D4D4D4;
-    --light-hl-5: #FF0000;
+    --light-hl-5: #E50000;
     --dark-hl-5: #9CDCFE;
     --light-hl-6: #0000FF;
     --dark-hl-6: #CE9178;
@@ -25,10 +25,8 @@
     --dark-hl-11: #DCDCAA;
     --light-hl-12: #AF00DB;
     --dark-hl-12: #C586C0;
-    --light-hl-13: #CD3131;
-    --dark-hl-13: #F44747;
-    --light-hl-14: #008000;
-    --dark-hl-14: #6A9955;
+    --light-hl-13: #008000;
+    --dark-hl-13: #6A9955;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }
@@ -48,7 +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);
     --code-background: var(--light-code-background);
 } }
 
@@ -67,7 +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);
     --code-background: var(--dark-code-background);
 } }
 
@@ -86,7 +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);
     --code-background: var(--light-code-background);
 }
 
@@ -105,7 +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);
     --code-background: var(--dark-code-background);
 }
 
@@ -123,5 +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); }
 pre, code { background: var(--code-background); }