Deploying to gh-pages from @ bd44045 🚀

comunica · Dec 23, 2024 · 1910a62 · 1910a62
1 parent 2aef062
commit 1910a62
Show file tree

Hide file tree

Showing 24 changed files with 1,648 additions and 1,479 deletions.
diff --git a/assets/hierarchy.js b/assets/hierarchy.js
@@ -0,0 +1 @@
+window.hierarchyData = "eJyrVirKzy8pVrKKjtVRKkpNy0lNLsnMzytWsqqurQUAmx4Kpg=="
diff --git a/assets/highlight.css b/assets/highlight.css
@@ -7,20 +7,20 @@
     --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-4: #0070C1;
+    --dark-hl-4: #4FC1FF;
+    --light-hl-5: #AF00DB;
+    --dark-hl-5: #C586C0;
     --light-hl-6: #001080;
     --dark-hl-6: #9CDCFE;
-    --light-hl-7: #008000;
-    --dark-hl-7: #6A9955;
-    --light-hl-8: #AF00DB;
-    --dark-hl-8: #C586C0;
-    --light-hl-9: #098658;
-    --dark-hl-9: #B5CEA8;
-    --light-hl-10: #000000;
-    --dark-hl-10: #C8C8C8;
+    --light-hl-7: #000000;
+    --dark-hl-7: #C8C8C8;
+    --light-hl-8: #EE0000;
+    --dark-hl-8: #D7BA7D;
+    --light-hl-9: #008000;
+    --dark-hl-9: #6A9955;
+    --light-hl-10: #098658;
+    --dark-hl-10: #B5CEA8;
     --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
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		window.hierarchyData = "eJyrVirKzy8pVrKKjtVRKkpNy0lNLsnMzytWsqqurQUAmx4Kpg=="