Enhance documentation

.github/workflows/docs.yml

@@ -25,7 +25,9 @@ jobs:
           python-version: 3.x
 
       - name: Install dependencies
-        run: pip install -r docs/requirements.txt
+        run: |
+          sudo apt-get install libcairo2-dev libfreetype6-dev libffi-dev libjpeg-dev libpng-dev libz-dev pngquant
+          pip install -r docs/requirements.txt
 
       - name: Build and deploy
         working-directory: docs

docs/mkdocs.yml

@@ -11,15 +11,18 @@ theme:
   name: material
   custom_dir: docs/overrides
   language: en
-  logo: static/avatar.png
   favicon: static/favicon-96x96.ico
+  icon:
+    logo: static/avatar.png
   include_search_page: false
   search_index_only: true
   features:
     - navigation.instant
     - navigation.tabs
+    - navigation.top
     - content.code.copy
     - content.action.edit
+    - content.action.view
     - announce.dismiss
   palette:
     - media: "(prefers-color-scheme)"  # System preference
@@ -52,8 +55,12 @@ plugins:
       - en
   - minify:
       minify_html: true
+  - social
 
 extra:
+  status:
+    new: Recently added
+    deprecated: Deprecated
   social:
     - icon: fontawesome/brands/github
       link: https://github.com/spicelang/spice
@@ -115,7 +122,6 @@ nav:
   - contributing.md
 
 markdown_extensions:
-  - codehilite
   - meta
   - footnotes
   - admonition
@@ -126,6 +132,13 @@ markdown_extensions:
       alternate_style: true
   - pymdownx.superfences
   - attr_list
+  - pymdownx.highlight:
+      auto_title: true
+      linenums: true
+      anchor_linenums: true
+      use_pygments: true
+  - pymdownx.inlinehilite
+  - pymdownx.superfences
   - pymdownx.emoji:
       emoji_index: !!python/name:materialx.emoji.twemoji
       emoji_generator: !!python/name:materialx.emoji.to_svg

docs/requirements.txt

@@ -1,4 +1,5 @@
 mkdocs-material==9.5.12
+mkdocs-material[imaging]==9.5.12
 mkdocs-minify-plugin==0.8.0
 mkdocs-git-revision-date-localized-plugin==1.2.4
 mkdocs-git-committers-plugin-2==2.3.0