Try turning off highlight.js

mpilgrem · mpilgrem · commit cd00c2ec9755 · 2022-08-31T23:24:48.000+01:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -6,7 +6,9 @@ edit_uri: tree/stable/doc/
 copyright: Copyright (c) 2015-2022, Stack contributors
 docs_dir: doc
 site_dir: _site
-theme: readthedocs
+theme:
+  name: readthedocs
+  highlightjs: false
 extra_css:
 - css/extra.css
 extra_javascript:
