Add CSS

TheoWinterhalter · May 24, 2024 · 9255e01 · 9255e01
1 parent 5123fd3
commit 9255e01
Show file tree

Hide file tree

Showing 3 changed files with 816 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -59,7 +59,7 @@ jobs:
           args: >-  # allows you to break string into multiple lines
             --standalone
             --output=doc/index.html
-            --css=coqdoc/resources/github-pandoc.css
+            --css=github-pandoc.css
             --metadata title="Ghost Reflection Overview"
             doc/index.md
       - name: Setup Pages