Switch to highlightjs to cut down on page size

Author: oprypin

.eslintrc.json

@@ -4,7 +4,7 @@
         "es6": true,
         "node": true
     },
-    "ignorePatterns": ["site/"],
+    "ignorePatterns": ["docs/", "site/"],
     "extends": "eslint:recommended",
     "globals": {
         "Atomics": "readonly",

docs/assets/script.js

@@ -0,0 +1 @@
+hljs.initHighlighting();

docs/assets/style.css

@@ -1,3 +1,10 @@
+.hljs-string, .hljs-literal, .hljs-number {
+    color: var(--md-code-hl-string-color);
+}
+.hljs-comment {
+    color: var(--md-code-hl-comment-color);
+}
+
 label {
     cursor: pointer;
 }

docs/mkdocs.yml

@@ -16,6 +16,9 @@ theme:
 
 extra_css:
   - assets/style.css
+extra_javascript:
+  - https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.5.0/highlight.min.js
+  - assets/script.js
 
 plugins:
   - search
@@ -26,7 +29,8 @@ plugins:
         - gen_pages.py
 
 markdown_extensions:
-  - pymdownx.highlight
+  - pymdownx.highlight:
+      use_pygments: false
   - pymdownx.magiclink
   - pymdownx.superfences
   - pymdownx.details