Updated documentation appearance

hugsy · Jun 13, 2022 · a7d8fa5 · a7d8fa5
1 parent dca3cb1
commit a7d8fa5
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 4 deletions.
diff --git a/.github/workflows/generate-docs.yml b/.github/workflows/generate-docs.yml
@@ -14,15 +14,15 @@ jobs:
     steps:
       - uses: actions/checkout@v3
         with:
-          token: ${{ secrets.GITHUB_TOKEN }}      
+          token: ${{ secrets.GITHUB_TOKEN }}
       - uses: actions/setup-python@v3
         with:
           python-version: '3.9'
           architecture: 'x64'
-          cache: 'pip'      
+          cache: 'pip'
       - name: Build and publish the docs
         run: |
           git config --global user.name "hugsy"
-          git config --global user.email "hugsy@users.noreply.github.com"      
-          pip install mkdocs-material
+          git config --global user.email "hugsy@users.noreply.github.com"
+          pip install --requirement docs/requirements.txt
           mkdocs gh-deploy --force
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -1,4 +1,13 @@
 site_name: GEF - GDB Enhanced Features documentation
+theme:
+  name: material
+  font:
+    text: Roboto
+    code: Roboto Mono
+  features:
+    - navigation.instant
+    - navigation.tabs
+
 
 nav:
 - Home: index.md