17 Commits

Author SHA1 Message Date
Ben Edgington
a5fd539da0 PDF: fix image fonts 2025-07-11 20:13:32 +01:00
Ben Edgington
93e883a42e Build: ignore drawio .bkp files 2025-07-07 13:27:42 +01:00
Ben Edgington
50f70f7a94 Move SVG cache 2025-06-10 10:50:30 +01:00
Ben Edgington
27542ec898 The Great Astro Migration 2025-05-23 19:54:09 +01:00
Ben Edgington
be8bac9344 Format captions in PDF 2023-05-02 16:02:06 +01:00
Ben Edgington
2f592c872e Add experimental PDF generation pipeline 2023-04-12 15:45:36 +01:00
Ben Edgington
58e403564b Ignore font files 2022-02-17 11:31:44 +00:00
Ben Edgington
5970f86407 Convert text to paths in charts 2022-02-17 11:13:08 +00:00
Ben Edgington
3742c1089d Add source code for charts 2022-01-01 15:54:40 +00:00
Ben Edgington
4b33c5cce9 Ignore IntelliJ files 2021-12-07 17:13:01 +00:00
Ben Edgington
03b028cdec Add one-page annotated spec 2021-11-23 21:58:52 +00:00
Ben Edgington
91c0ef0d69 Ignore index.json 2021-11-21 16:05:31 +00:00
Ben Edgington
57292ca51e Update gitignore 2021-11-20 22:29:23 +00:00
Ben Edgington
66b43c6461 Rename markdown-pages directory 2021-10-24 11:57:54 +01:00
Ben Edgington
056cc31ef1 Split markdown into a proper directory hierarchy
The structure should now mirror that of the website, which ought to
allow us to check internal links more easily. It also makes content
easier to find and debug.
2021-10-22 18:02:16 +01:00
Ben Edgington
89a1f4d147 Initial configuration 2021-10-14 11:30:08 +01:00
Ben Edgington
feb5df029d Initial commit from gatsby 2021-10-13 15:16:34 +01:00