Commit Graph

14 Commits

Author SHA1 Message Date
Daira Emma Hopwood d1b91d9e7f Regenerate HTML.
Signed-off-by: Daira Emma Hopwood <daira@jacaranda.org>
2023-03-02 12:24:49 +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 947f0b6649 Regularize ZIP categories.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-11-14 22:17:27 +00:00
Daira Hopwood 80d1fa8c2e Add Pull-Request header.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-09-14 14:16:43 +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 9838693599 Obsolete ZIPs 1001 to 1013 inclusive, and regenerate ZIP index and HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-27 17:54:18 +00: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 a6567d6377 Regenerate HTML with section anchors.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-25 14:59:43 +00:00
Daira Hopwood c0631d6488 Regenerate HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-01-24 15:36:47 +00:00
Daira Hopwood b739429387 Regenerate ZIP 1012 HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-29 09:52:00 +00:00
Daira Hopwood 8c327e6a4c ZIP 1012: fix an inconsistency between the Abstract and the Specification, as per
https://forum.zcashcommunity.com/t/dev-fund-proposal-dev-fund-to-ecc-zfnd-major-grants/35364/43

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-29 03:29:30 +00:00
Daira Hopwood 367862f968 ZIP 1012: add Discussions-To and other cosmetic updates.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-29 02:39:51 +00:00
Daira Hopwood 3154bd7fdf Generate ZIP 1012 HTML and index.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-29 02:11:16 +00:00