Docs config tweaking

adnanjaw · Oct 30, 2024 · ddda875 · ddda875
1 parent 6b5c66f
commit ddda875
Show file tree

Hide file tree

Showing 3 changed files with 121 additions and 436 deletions.
diff --git a/docs/css/custom.css b/docs/css/custom.css
diff --git a/docs/js/highlight.js b/docs/js/highlight.js