switch to pygments for mkdocs hilighting

2026-02-16 05:18:00 +00:00 · 2019-10-25 23:57:23 +02:00
parent 233e064f0b
commit 26f47d2eb7
3 changed files with 72 additions and 3 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -34,8 +34,7 @@ pages:
        - 'Installation on Ubuntu 16' : 'appendix/Install-on-Ubuntu-16.md'
        - 'Installation on Ubuntu 18' : 'appendix/Install-on-Ubuntu-18.md'
 markdown_extensions:
-    - codehilite:
-        use_pygments: False
+    - codehilite
    - toc:
        permalink: 
-extra_css: [extra.css]
+extra_css: [extra.css, styles.css]