Skip to content

Commit f9a6389

Browse files
authored
Merge pull request #76 from ascholerChemeketa/appendix-toc-space
Appendix toc space
2 parents 27e9959 + 9bb5d2d commit f9a6389

File tree

2 files changed

+63
-0
lines changed

2 files changed

+63
-0
lines changed

.github/workflows/deploy-to-pages.yml

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
# Simple workflow for deploying static content to GitHub Pages
2+
name: Deploy static content to Pages
3+
4+
on:
5+
# Runs on pushes targeting the default branch
6+
push:
7+
8+
# Allows you to run this workflow manually from the Actions tab
9+
workflow_dispatch:
10+
11+
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
12+
permissions:
13+
contents: write
14+
pages: write
15+
id-token: write
16+
17+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
18+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
19+
# concurrency:
20+
# group: "pages"
21+
# cancel-in-progress: false
22+
23+
jobs:
24+
# Single deploy job since we're just deploying
25+
deploy:
26+
environment:
27+
name: github-pages
28+
url: ${{ steps.deployment.outputs.page_url }}
29+
runs-on: ubuntu-latest
30+
steps:
31+
- name: Checkout
32+
uses: actions/checkout@v3
33+
- name: Get Time
34+
id: time
35+
uses: nanzm/get-time-action@master
36+
with:
37+
format: 'YYYY-MM-DD-HH-mm-ss'
38+
- name: Overwrite index
39+
uses: "DamianReeves/write-file-action@master"
40+
with:
41+
path: index.html
42+
write-mode: overwrite
43+
contents: |
44+
Generated at ${{ steps.time.outputs.time }} UTC from ${{ github.sha }}
45+
- name: Setup Pages
46+
uses: actions/configure-pages@v3
47+
- name: Upload artifact
48+
uses: actions/upload-pages-artifact@v2
49+
with:
50+
# Upload entire repository
51+
path: '.'
52+
- name: Deploy 🚀
53+
uses: JamesIves/github-pages-deploy-action@v4
54+
with:
55+
folder: .
56+
clean: false #retain files from other branches!!!
57+
single-commit: true #wipe out old commits on gh-pages branch
58+
target-folder: css/${{ github.ref_name }}

toc_default.css

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,11 @@
4747
padding-right: 0.3rem;
4848
}
4949

50+
.ptx-toc .toc-backmatter .toc-item-list .toc-item .codenumber {
51+
min-width: 1.9rem;
52+
padding-right: 0.3rem;
53+
}
54+
5055
.ptx-toc .toc-chapter .toc-item-list .toc-item .codenumber {
5156
min-width: 2.5rem;
5257
padding-right: 0.3rem;

0 commit comments

Comments
 (0)