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
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
9a49cdfd19
Remove `.md` suffixes from links in HTML renders
2024-07-03 20:03:17 +00:00
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
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
917c85380c
Add placeholder ZIPs for reserved numbers.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-09-14 15:53:54 +01:00
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
be9733228f
Add rel="bookmark" to permalinks.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-06-15 14:04:25 +01:00
d0d4abac2e
edithtml.sh: argument quoting.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-06-15 13:20:57 +01:00
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
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
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
681fbec905
Upgrade MathJax to v3. fixes #353
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-22 18:22:08 +01:00
1b56c887db
Upgrade to MathJax 2.7.7.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-22 17:26:27 +01:00
c79a0cff92
Upgrade to MathJax 2.7.5.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-22 14:36:04 +01:00
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
ef117e9874
Add section anchors.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-25 14:59:08 +00:00
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
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
Jack Grigg
Daira Hopwood