Deploying to gh-pages from @ 6b0ff17 🚀

comunica · Nov 28, 2024 · e21d5fb · e21d5fb
1 parent 65b855c
commit e21d5fb
Show file tree

Hide file tree

Showing 203 changed files with 4,780 additions and 4,632 deletions.
diff --git a/assets/hierarchy.js b/assets/hierarchy.js
diff --git a/assets/highlight.css b/assets/highlight.css
@@ -5,26 +5,26 @@
     --dark-hl-1: #D4D4D4;
     --light-hl-2: #A31515;
     --dark-hl-2: #CE9178;
-    --light-hl-3: #0000FF;
-    --dark-hl-3: #569CD6;
-    --light-hl-4: #EE0000;
-    --dark-hl-4: #D7BA7D;
-    --light-hl-5: #0070C1;
-    --dark-hl-5: #4FC1FF;
-    --light-hl-6: #001080;
-    --dark-hl-6: #9CDCFE;
-    --light-hl-7: #AF00DB;
-    --dark-hl-7: #C586C0;
-    --light-hl-8: #008000;
-    --dark-hl-8: #6A9955;
+    --light-hl-3: #000000;
+    --dark-hl-3: #C8C8C8;
+    --light-hl-4: #001080;
+    --dark-hl-4: #9CDCFE;
+    --light-hl-5: #AF00DB;
+    --dark-hl-5: #C586C0;
+    --light-hl-6: #0000FF;
+    --dark-hl-6: #569CD6;
+    --light-hl-7: #008000;
+    --dark-hl-7: #6A9955;
+    --light-hl-8: #0070C1;
+    --dark-hl-8: #4FC1FF;
     --light-hl-9: #098658;
     --dark-hl-9: #B5CEA8;
-    --light-hl-10: #000000;
-    --dark-hl-10: #C8C8C8;
-    --light-hl-11: #267F99;
-    --dark-hl-11: #4EC9B0;
-    --light-hl-12: #0451A5;
-    --dark-hl-12: #9CDCFE;
+    --light-hl-10: #267F99;
+    --dark-hl-10: #4EC9B0;
+    --light-hl-11: #0451A5;
+    --dark-hl-11: #9CDCFE;
+    --light-hl-12: #EE0000;
+    --dark-hl-12: #D7BA7D;
     --light-code-background: #FFFFFF;
     --dark-code-background: #1E1E1E;
 }

diff --git a/assets/icons.js b/assets/icons.js
diff --git a/assets/icons.svg b/assets/icons.svg
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