Merge pull request #181 from sine-fdn/fix-website-styles

Fix styling issues caused by mdbook update

Author: fkettelhoit

.github/workflows/pages.yml

@@ -15,13 +15,11 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
-      - name: Install latest mdbook
-        run: |
-          tag=$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')
-          url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz"
-          mkdir mdbook
-          curl -sSL $url | tar -xz --directory=./mdbook
-          echo `pwd`/mdbook >> $GITHUB_PATH
+      - uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+      - name: Install mdbook
+        run: cargo install --version 0.4.47 mdbook
       - name: Build Book
         run: |
           cd garble_docs && mdbook build

docs/pages/index.md

@@ -342,6 +342,10 @@ code * {
     font-family: ui-monospace, 'Cascadia Code', 'Source Code Pro', Menlo, Consolas, 'DejaVu Sans Mono', monospace !important;
 }
 
+:not(pre):not(a)>code.hljs {
+    color: #ccc;
+}
+
 p {
     line-height: 1.6em !important;
     margin-block-start: 1.6em;
@@ -372,7 +376,7 @@ a,
     padding: 0.1em 0.3em;
     border-radius: 3px;
     border: 1px solid #333;
-    background-color: #fff;
+    background-color: #666;
     line-height: 1.8;
 }