Jack Grigg
26f16f44ec
Move ZIP source into `zips/` subdirectory
...
This makes the repo root more approachable for newcomers; the README can
be seen in GitHub immediately instead of after much scrolling.
2024-07-16 18:58:05 +00:00
Jack Grigg
080306b42a
Move files rendered for zips.z.cash into a subdirectory
...
All content that is reachable via links on zips.z.cash is moved into
this directory, so that GitHub Pages can be configured to build the site
from it. This includes non-generated files like CSS that are required
for correct site presentation.
2024-07-16 18:52:47 +00:00
Jack Grigg
9a49cdfd19
Remove `.md` suffixes from links in HTML renders
2024-07-03 20:03:17 +00:00
Daira Hopwood
0ada3050af
[Dark mode] Fix the background colour of the section anchor image.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2022-01-11 13:19:12 +00:00
Daira Hopwood
afc3ae4d1b
edithtml.sh: fix to links of the form "foo.rst#anchor".
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-02-28 21:24:26 +00:00
Daira Hopwood
917c85380c
Add placeholder ZIPs for reserved numbers.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-09-14 15:53:54 +01:00
Daira Hopwood
fb84bd8084
Ensure that URLs enclosed in <> in header fields are linked.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-09-14 14:12:49 +01:00
Daira Hopwood
be9733228f
Add rel="bookmark" to permalinks.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-06-15 14:04:25 +01:00
Daira Hopwood
d0d4abac2e
edithtml.sh: argument quoting.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-06-15 13:20:57 +01:00
Daira Hopwood
aaf0c04f79
edithtml.sh: make it work on macOS (by using perl instead of sed).
...
Also add permalink anchors to headers containing <code>...</code>.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-06-15 13:20:57 +01:00
Daira Hopwood
3ce628ab73
edithtml.sh: make tests portable to any correct POSIX shell.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-05-27 15:29:01 +01:00
Daira Hopwood
66a41077ca
Support writing ZIPs in Markdown, generating the HTML using pandoc.
...
This has some minor deficiencies in math support and formatting of references.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-05-26 23:06:08 +01:00
Daira Hopwood
681fbec905
Upgrade MathJax to v3. fixes #353
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-22 18:22:08 +01:00
Daira Hopwood
1b56c887db
Upgrade to MathJax 2.7.7.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-22 17:26:27 +01:00
Daira Hopwood
c79a0cff92
Upgrade to MathJax 2.7.5.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-22 14:36:04 +01:00
Daira Hopwood
a27f08ab90
Add alt="" for anchor image, since it is "decorative" in the sense of < https://www.w3.org/WAI/tutorials/images/decorative/ >.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-25 17:05:50 +00:00
Daira Hopwood
ef117e9874
Add section anchors.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-25 14:59:08 +00:00
Daira Hopwood
36cf64abc3
edithtml.sh: replace MathJax URL.
...
Regenerate ZIP 1011 HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-25 12:44:22 +00:00
Daira Hopwood
a0aa25c407
Factor out HTML editing from Makefile into edithtml.sh
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-25 12:42:17 +00:00