diff --git a/.github/workflows/deploy-to-pages.yml b/.github/workflows/deploy-to-pages.yml
new file mode 100644
index 0000000..751e4b8
--- /dev/null
+++ b/.github/workflows/deploy-to-pages.yml
@@ -0,0 +1,58 @@
+# Simple workflow for deploying static content to GitHub Pages
+name: Deploy static content to Pages
+
+on:
+  # Runs on pushes targeting the default branch
+  push:
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: write
+  pages: write
+  id-token: write
+
+# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
+# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
+# concurrency:
+#   group: "pages"
+#   cancel-in-progress: false
+
+jobs:
+  # Single deploy job since we're just deploying
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+      - name: Get Time
+        id: time
+        uses: nanzm/get-time-action@master
+        with:
+          format: 'YYYY-MM-DD-HH-mm-ss'
+      - name: Overwrite index
+        uses: "DamianReeves/write-file-action@master"
+        with:
+          path: index.html
+          write-mode: overwrite
+          contents: |
+            Generated at ${{ steps.time.outputs.time }} UTC from ${{ github.sha }}
+      - name: Setup Pages
+        uses: actions/configure-pages@v3
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v2
+        with:
+          # Upload entire repository
+          path: '.'
+      - name: Deploy 🚀
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: .
+          clean: false  #retain files from other branches!!! 
+          single-commit: true  #wipe out old commits on gh-pages branch
+          target-folder: css/${{ github.ref_name }}
diff --git a/toc_default.css b/toc_default.css
index df2bd5c..a1889a3 100644
--- a/toc_default.css
+++ b/toc_default.css
@@ -47,6 +47,11 @@
     padding-right: 0.3rem;
 }
 
+.ptx-toc .toc-backmatter .toc-item-list .toc-item .codenumber {
+    min-width: 1.9rem;
+    padding-right: 0.3rem;
+}
+
 .ptx-toc .toc-chapter .toc-item-list .toc-item .codenumber {
     min-width: 2.5rem;
     padding-right: 0.3rem;