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