Updates

DisyInformationssysteme · Jan 29, 2024 · 6af05dc · 6af05dc
1 parent b43d1e8
commit 6af05dc
Show file tree

Hide file tree

Showing 40 changed files with 89 additions and 85 deletions.
diff --git a/assets/highlight.css b/assets/highlight.css
@@ -25,8 +25,6 @@
     --dark-hl-11: #D4D4D4;
     --light-hl-12: #098658;
     --dark-hl-12: #B5CEA8;
-    --light-hl-13: #267F99;
-    --dark-hl-13: #4EC9B0;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }
@@ -45,7 +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);
     --code-background: var(--light-code-background);
 } }
 
@@ -63,7 +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);
     --code-background: var(--dark-code-background);
 } }
 
@@ -81,7 +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);
     --code-background: var(--light-code-background);
 }
 
@@ -99,7 +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);
     --code-background: var(--dark-code-background);
 }
 
@@ -116,5 +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); }
 pre, code { background: var(--code-background); }
diff --git a/assets/navigation.js b/assets/navigation.js
diff --git a/assets/search.js b/assets/search.js
diff --git a/classes/AbortError.html b/classes/AbortError.html