Commit Graph

16 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 25610fc5c7 Regenerate all HTML using Docutils 0.19.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2022-09-20 10:22:23 +01: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 db418a5dd5 Fix all links in ZIPs (and almost eliminate plain http links).
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2021-09-09 15:02:46 +01: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 c762d1ca67 Regularize references, especially to RFCs and the Protocol Spec.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-11-09 15:59:51 +00: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 a9ce93846a Rebuild HTML. (This should be a no-op; my version of rst2html5 changed.)
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-03-10 16:43:19 +00:00
Daira Hopwood 09b3f6955c Link to https://www.rfc-editor.org/rfc/rfcXXXX.html for RFCs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-02-29 16:00:39 +00: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 588b7cb392 ZIP 1010: correction to an Editor note.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-29 03:50:45 +00:00
Daira Hopwood f36e0320a2 ZIP 1010: Editing to regularize all the dev fund ZIPs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-25 21:21:49 +00:00