Deploying to gh-pages from @ 41a3acb 🚀

mljs · Oct 18, 2024 · ab43df0 · ab43df0
1 parent 4d66c15
commit ab43df0
Show file tree

Hide file tree

Showing 11 changed files with 539 additions and 837 deletions.
diff --git a/assets/highlight.css b/assets/highlight.css
@@ -9,8 +9,6 @@
     --dark-hl-3: #DCDCAA;
     --light-hl-4: #A31515;
     --dark-hl-4: #CE9178;
-    --light-hl-5: #001080;
-    --dark-hl-5: #9CDCFE;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }
@@ -21,7 +19,6 @@
     --hl-2: var(--light-hl-2);
     --hl-3: var(--light-hl-3);
     --hl-4: var(--light-hl-4);
-    --hl-5: var(--light-hl-5);
     --code-background: var(--light-code-background);
 } }
 
@@ -31,7 +28,6 @@
     --hl-2: var(--dark-hl-2);
     --hl-3: var(--dark-hl-3);
     --hl-4: var(--dark-hl-4);
-    --hl-5: var(--dark-hl-5);
     --code-background: var(--dark-code-background);
 } }
 
@@ -41,7 +37,6 @@
     --hl-2: var(--light-hl-2);
     --hl-3: var(--light-hl-3);
     --hl-4: var(--light-hl-4);
-    --hl-5: var(--light-hl-5);
     --code-background: var(--light-code-background);
 }
 
@@ -51,7 +46,6 @@
     --hl-2: var(--dark-hl-2);
     --hl-3: var(--dark-hl-3);
     --hl-4: var(--dark-hl-4);
-    --hl-5: var(--dark-hl-5);
     --code-background: var(--dark-code-background);
 }
 
@@ -60,5 +54,4 @@
 .hl-2 { color: var(--hl-2); }
 .hl-3 { color: var(--hl-3); }
 .hl-4 { color: var(--hl-4); }
-.hl-5 { color: var(--hl-5); }
 pre, code { background: var(--code-background); }
diff --git a/assets/main.js b/assets/main.js
diff --git a/assets/navigation.js b/assets/navigation.js
diff --git a/assets/search.js b/assets/search.js