From 383663dad68efe884a6ee1b6e2eb65881cf7a46e Mon Sep 17 00:00:00 2001
From: Andrew Scholer <ascholer@chemeketa.edu>
Date: Mon, 11 Sep 2023 13:25:32 -0700
Subject: [PATCH 1/3] Deploy script

---
 .github/workflows/deploy-to-pages.yml | 57 +++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 .github/workflows/deploy-to-pages.yml

diff --git a/.github/workflows/deploy-to-pages.yml b/.github/workflows/deploy-to-pages.yml
new file mode 100644
index 0000000..d3db637
--- /dev/null
+++ b/.github/workflows/deploy-to-pages.yml
@@ -0,0 +1,57 @@
+# 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
+          target-folder: css/${{ github.ref_name }}

From 3ecbdb786e0b6598ba02f783a702b97c2de7d2c9 Mon Sep 17 00:00:00 2001
From: ascholerChemeketa <ascholer@chemeketa.edu>
Date: Mon, 11 Sep 2023 13:26:43 -0700
Subject: [PATCH 2/3] Update deploy-to-pages.yml

---
 .github/workflows/deploy-to-pages.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy-to-pages.yml b/.github/workflows/deploy-to-pages.yml
index d3db637..751e4b8 100644
--- a/.github/workflows/deploy-to-pages.yml
+++ b/.github/workflows/deploy-to-pages.yml
@@ -53,5 +53,6 @@ jobs:
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           folder: .
-          clean: false
+          clean: false  #retain files from other branches!!! 
+          single-commit: true  #wipe out old commits on gh-pages branch
           target-folder: css/${{ github.ref_name }}

From 9bb5d2d312b4dbb35066da36cb82250e6046211b Mon Sep 17 00:00:00 2001
From: Andrew Scholer <ascholer@chemeketa.edu>
Date: Mon, 18 Sep 2023 13:59:09 -0700
Subject: [PATCH 3/3] Add space between toc codenumber and title in appendix

---
 toc_default.css | 5 +++++
 1 file changed, 5 insertions(+)

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;