diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 40c194bd5..acf551e8e 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -8,7 +8,7 @@ jobs:
   deploy:
     runs-on: ubuntu-latest
     permissions:
-      contents: write  # To push a branch 
+      contents: write  # To push a branch
       pull-requests: write  # To create a PR from that branch
     steps:
     - uses: actions/checkout@v4
@@ -18,8 +18,11 @@ jobs:
       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"
+        pagetoc_tag=$(curl 'https://api.github.com/repos/slowsage/mdbook-pagetoc/releases/latest' | jq -r '.tag_name')
+        pagetoc_url="https://github.com/slowsage/mdbook-pagetoc/releases/download/${pagetoc_tag}/mdbook-pagetoc-${pagetoc_tag}-x86_64-unknown-linux-gnu.tar.gz"
         mkdir mdbook
         curl -sSL $url | tar -xz --directory=./mdbook
+        curl -sSL $pagetoc_url | tar -xz --directory=./mdbook
         echo `pwd`/mdbook >> $GITHUB_PATH
     - name: Deploy GitHub Pages
       run: |
diff --git a/.gitignore b/.gitignore
index e4ac3801b..a7ee0cdf7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,5 +2,6 @@
 **/*.rs.bk
 /scratch
 docs/book
+docs/theme
 .vscode/
 /result
diff --git a/docs/book.toml b/docs/book.toml
index e75485aec..07b3e3841 100644
--- a/docs/book.toml
+++ b/docs/book.toml
@@ -4,3 +4,8 @@ language = "en"
 multilingual = false
 src = "src"
 title = "Steel"
+
+[preprocessor.pagetoc]
+[output.html]
+additional-css = ["theme/pagetoc.css"]
+additional-js  = ["theme/pagetoc.js"]
\ No newline at end of file