Deploying to github-pages from @ 786ce6a 🚀

paranext · Jan 17, 2024 · e944e4d · e944e4d
1 parent 42eb9cc
commit e944e4d
Show file tree

Hide file tree

Showing 514 changed files with 766 additions and 1,052 deletions.
diff --git a/papi-dts/assets/highlight.css b/papi-dts/assets/highlight.css
@@ -1,14 +1,14 @@
 :root {
-    --light-hl-0: #A31515;
-    --dark-hl-0: #CE9178;
-    --light-hl-1: #0000FF;
-    --dark-hl-1: #569CD6;
-    --light-hl-2: #000000;
-    --dark-hl-2: #D4D4D4;
-    --light-hl-3: #0070C1;
-    --dark-hl-3: #4FC1FF;
-    --light-hl-4: #795E26;
-    --dark-hl-4: #DCDCAA;
+    --light-hl-0: #0000FF;
+    --dark-hl-0: #569CD6;
+    --light-hl-1: #000000;
+    --dark-hl-1: #D4D4D4;
+    --light-hl-2: #0070C1;
+    --dark-hl-2: #4FC1FF;
+    --light-hl-3: #795E26;
+    --dark-hl-3: #DCDCAA;
+    --light-hl-4: #A31515;
+    --dark-hl-4: #CE9178;
     --light-hl-5: #008000;
     --dark-hl-5: #6A9955;
     --light-hl-6: #001080;

diff --git a/papi-dts/assets/navigation.js b/papi-dts/assets/navigation.js
diff --git a/papi-dts/assets/search.js b/papi-dts/assets/search.js