From aafdde7ef8e17c6b6946b1759dcca8a68b491879 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@meta.com>
Date: Sat, 1 Jun 2024 08:04:55 -0700
Subject: [PATCH] Switch to JavaScript syntax highlighter

---
 doc/fmt.js | 3 +++
 mkdocs.yml | 9 ++++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100644 doc/fmt.js

diff --git a/doc/fmt.js b/doc/fmt.js
new file mode 100644
index 00000000..86e50b93
--- /dev/null
+++ b/doc/fmt.js
@@ -0,0 +1,3 @@
+document$.subscribe(() => {
+  hljs.highlightAll()
+})
diff --git a/mkdocs.yml b/mkdocs.yml
index 180ce90b..e4a4051e 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -13,17 +13,24 @@ theme:
     - navigation.tabs
     - toc.integrate
 
+extra_javascript:
+  - https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.7.2/highlight.min.js
+  - fmt.js
+
 extra_css:
+  - https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.7.2/styles/default.min.css
   - fmt.css
 
 markdown_extensions:
   - pymdownx.highlight:
+      # Use JavaScript syntax highlighter instead of Pygments because it
+      # automatically applies to code blocks extracted through Doxygen.
+      use_pygments: false
       anchor_linenums: true
       line_spans: __span
       pygments_lang_class: true
   - pymdownx.inlinehilite
   - pymdownx.snippets
-  - pymdownx.superfences
 
 plugins:
   - mkdocstrings: