Commit Graph

  • d013cb91dc Build: fix link to Contents on mobile capella Ben Edgington 2025-09-01 09:14:56 +01:00
  • 27b3234fee Build: fix link to Contents on mobile altair Ben Edgington 2025-09-01 09:14:56 +01:00
  • 630b4b0c6c Build: fix link to Contents on mobile bellatrix Ben Edgington 2025-09-01 09:14:56 +01:00
  • 6be3432a58 Dep: update astro to 5.13.5 Ben Edgington 2025-09-01 09:08:22 +01:00
  • 94d75f9838 Dep: update astro to 5.13.5 Ben Edgington 2025-09-01 09:08:22 +01:00
  • fb5092f7bf Dep: update astro to 5.13.5 Ben Edgington 2025-09-01 09:08:22 +01:00
  • c11d199211 Dep: update astro to 5.13.4 Ben Edgington 2025-08-28 09:52:11 +01:00
  • 7ae1c8fa21 Dep: update astro to 5.13.4 Ben Edgington 2025-08-28 09:52:11 +01:00
  • 2b3276b3e8 Dep: update astro to 5.13.4 Ben Edgington 2025-08-28 09:52:11 +01:00
  • e1b1e1b81e Devdep: update eslint Ben Edgington 2025-08-27 10:18:55 +01:00
  • 501097ac33 Devdep: update eslint Ben Edgington 2025-08-27 10:18:55 +01:00
  • 98f02d4176 Devdep: update eslint Ben Edgington 2025-08-27 10:18:55 +01:00
  • 5d67ac8997 Dep: update astro to 5.13.3 Ben Edgington 2025-08-27 10:15:58 +01:00
  • 62838a198d Dep: update astro to 5.13.3 Ben Edgington 2025-08-27 10:15:58 +01:00
  • 15b27cd496 Dep: update astro to 5.13.3 Ben Edgington 2025-08-27 10:15:58 +01:00
  • cc04426dda Devdep: update eslint Ben Edgington 2025-08-18 10:07:05 +01:00
  • 075b479b00 Devdep: update eslint Ben Edgington 2025-08-18 10:07:05 +01:00
  • c7a35a7975 Devdep: update eslint Ben Edgington 2025-08-18 10:07:05 +01:00
  • 61580f47d3 Dep: upgrade astro to 5.13.2 Ben Edgington 2025-08-18 10:05:34 +01:00
  • eb5cc1a0bc Dep: upgrade astro to 5.13.2 Ben Edgington 2025-08-18 10:05:34 +01:00
  • 7496f0b510 Dep: upgrade astro to 5.13.2 Ben Edgington 2025-08-18 10:05:34 +01:00
  • 2a5bb267ad Build: simplify autolink headings Ben Edgington 2025-08-04 10:06:42 +01:00
  • 473b61c8b2 Build: simplify autolink headings Ben Edgington 2025-08-04 10:06:42 +01:00
  • 2142048915 Build: simplify autolink headings Ben Edgington 2025-08-04 10:06:42 +01:00
  • 63efcbd39e Dep: update astro to 5.12.8 Ben Edgington 2025-08-04 09:39:46 +01:00
  • 29f5379eb1 Dep: update astro to 5.12.8 Ben Edgington 2025-08-04 09:39:46 +01:00
  • 78656199e1 Dep: update astro to 5.12.8 Ben Edgington 2025-08-04 09:39:46 +01:00
  • b183bc104d Dep: update astro to 5.12.7 Ben Edgington 2025-08-01 10:52:51 +01:00
  • b0deb0753d Dep: update astro to 5.12.7 Ben Edgington 2025-08-01 10:52:51 +01:00
  • 51e6bf3765 Dep: update astro to 5.12.7 Ben Edgington 2025-08-01 10:52:51 +01:00
  • 7319f14e07 Dev: update astro to 5.12.5 Ben Edgington 2025-07-30 09:39:46 +01:00
  • 0ca591ad10 Dev: update astro to 5.12.5 Ben Edgington 2025-07-30 09:39:46 +01:00
  • b62b60d6ec Dev: update astro to 5.12.5 Ben Edgington 2025-07-30 09:39:46 +01:00
  • 659104e98e Devdep: update eslint Ben Edgington 2025-07-26 14:53:55 +01:00
  • b5067c2754 Devdep: update eslint Ben Edgington 2025-07-26 14:53:55 +01:00
  • b69939a0c0 Devdep: update eslint Ben Edgington 2025-07-26 14:53:55 +01:00
  • 4de3dd5e9b DevDep: update axios Ben Edgington 2025-07-23 14:49:37 +01:00
  • 9be5cebdbf DevDep: update axios Ben Edgington 2025-07-23 14:49:37 +01:00
  • 0dd5c5fcba DevDep: update axios Ben Edgington 2025-07-23 14:49:37 +01:00
  • 501b66a7cc Dep: update astro to 5.12.3 Ben Edgington 2025-07-25 09:34:23 +01:00
  • 1c330cccdd Dep: update astro to 5.12.3 Ben Edgington 2025-07-25 09:34:23 +01:00
  • 3124101f82 Dep: update astro to 5.12.3 Ben Edgington 2025-07-25 09:34:23 +01:00
  • 4dfb398080 Dep: update astro to 5.12.2 Ben Edgington 2025-07-23 14:48:17 +01:00
  • 9eaa88ce46 Dep: update astro to 5.12.2 Ben Edgington 2025-07-23 14:48:17 +01:00
  • bc14928bdb Dep: update astro to 5.12.2 Ben Edgington 2025-07-23 14:48:17 +01:00
  • 8adebd854e Dep: update astro to 5.12.1 Ben Edgington 2025-07-21 16:42:04 +01:00
  • 2f0f19a71e Dep: update astro to 5.12.1 Ben Edgington 2025-07-21 16:42:04 +01:00
  • 5ac637ae81 Dep: update astro to 5.12.1 Ben Edgington 2025-07-21 16:42:04 +01:00
  • 815045cdc0 Dep: update astro to 5.12.0 Ben Edgington 2025-07-17 14:30:29 +01:00
  • d85fc47a53 Dep: update astro to 5.12.0 Ben Edgington 2025-07-17 14:30:29 +01:00
  • de173d18a5 Dep: update astro to 5.12.0 Ben Edgington 2025-07-17 14:30:29 +01:00
  • be3ec80a29 Dep: update astro to v5.11.2 Ben Edgington 2025-07-16 22:06:54 +01:00
  • 7accbdf7fe Dep: update astro to v5.11.2 Ben Edgington 2025-07-16 22:06:54 +01:00
  • 76bd3a593a Dep: update astro to v5.11.2 Ben Edgington 2025-07-16 22:06:54 +01:00
  • ca7e0fcdbc Deps: update astro to 5.11.1 Ben Edgington 2025-07-14 09:51:55 +01:00
  • 12cb353ea1 Deps: update astro to 5.11.1 Ben Edgington 2025-07-14 09:51:55 +01:00
  • c5543b4a67 Deps: update astro to 5.11.1 Ben Edgington 2025-07-14 09:51:55 +01:00
  • 3a57889af7 Book: links, updates and typos Ben Edgington 2025-07-12 19:33:35 +01:00
  • e325fd7926 PDF: fix over-cropped diagrams Ben Edgington 2025-07-12 08:56:46 +01:00
  • 037fd3da27 PDF: fix over-cropped diagrams Ben Edgington 2025-07-12 08:55:59 +01:00
  • 6517e0460f PDF: fix over-cropped diagrams Ben Edgington 2025-07-12 08:54:47 +01:00
  • 914ec91c06 Diagrams: fix tab selection oops Ben Edgington 2025-07-12 08:51:26 +01:00
  • ac7cf9bac8 Diagrams: fix tab selection oops Ben Edgington 2025-07-12 08:51:26 +01:00
  • cb0ba4c1ae Diagrams: fix tab selection oops Ben Edgington 2025-07-12 08:51:26 +01:00
  • 946fc6090b Devdep: update eslint Ben Edgington 2025-07-11 22:05:55 +01:00
  • c1c4de1820 Devdep: update eslint Ben Edgington 2025-07-11 22:05:55 +01:00
  • d9cac3984a Devdep: update eslint Ben Edgington 2025-07-11 22:05:55 +01:00
  • 2e9c06b0d8 PDF: add image cropping issue Ben Edgington 2025-07-11 20:26:13 +01:00
  • 5e1ae3a1ce PDF: add image cropping issue Ben Edgington 2025-07-11 20:26:13 +01:00
  • 9285c48756 PDF: add image cropping issue Ben Edgington 2025-07-11 20:26:13 +01:00
  • be59e01696 PDF: fix image fonts Ben Edgington 2025-07-11 20:19:44 +01:00
  • 27463c72c8 PDF: fix image fonts Ben Edgington 2025-07-11 20:16:04 +01:00
  • a5fd539da0 PDF: fix image fonts Ben Edgington 2025-07-11 20:13:32 +01:00
  • 5bb4c32fba Build: clear SVG cache before publishing Ben Edgington 2025-07-11 11:18:30 +01:00
  • 0ab296ee35 Build: clear SVG cache before publishing Ben Edgington 2025-07-11 11:18:30 +01:00
  • 7ebc7392f1 Build: clear SVG cache before publishing Ben Edgington 2025-07-11 11:18:30 +01:00
  • 813a12c4a4 Book: update randomness diagrams Ben Edgington 2025-07-11 10:47:44 +01:00
  • 1ba80bf885 Book: update randomness diagrams Ben Edgington 2025-07-11 10:47:44 +01:00
  • 0a5265fa30 Book: update randomness diagrams Ben Edgington 2025-07-11 10:47:44 +01:00
  • 4f271588de Build: remove raster image embeds from SVGs Ben Edgington 2025-07-11 10:46:47 +01:00
  • fab486abfe Build: remove raster image embeds from SVGs Ben Edgington 2025-07-11 10:46:47 +01:00
  • fcffd32264 Build: remove raster image embeds from SVGs Ben Edgington 2025-07-11 10:46:47 +01:00
  • fbdcbbb78a Build: update dark mode file version numbers Ben Edgington 2025-07-11 09:41:54 +01:00
  • b81ae94d3c Build: update dark mode file version numbers Ben Edgington 2025-07-11 09:41:54 +01:00
  • 953fa387f4 Build: update dark mode file version numbers Ben Edgington 2025-07-11 09:41:54 +01:00
  • 531f3568a7 Book: fix dark mode transition on Chrome Ben Edgington 2025-07-10 18:05:04 +01:00
  • 976bf7417b Book: fix dark mode transition on Chrome Ben Edgington 2025-07-10 18:05:04 +01:00
  • bb2b668808 Book: fix dark mode transition on Chrome Ben Edgington 2025-07-10 18:05:04 +01:00
  • 4d5f853a43 Build: npm update Ben Edgington 2025-07-10 16:34:59 +01:00
  • 0467459a3a Build: npm update Ben Edgington 2025-07-10 16:34:59 +01:00
  • 1e24ea6408 Build: npm update Ben Edgington 2025-07-10 16:34:59 +01:00
  • 985ea2965b Book: rework and revise diagrams Ben Edgington 2025-07-10 11:36:32 +01:00
  • 16e140a415 Book: rework and revise diagrams Ben Edgington 2025-07-10 10:24:08 +01:00
  • dde2ea5950 Book: rework and revise diagrams Ben Edgington 2025-07-10 09:48:38 +01:00
  • e77e6b4f5d Build: comment and tidy Ben Edgington 2025-07-10 01:14:14 +01:00
  • b2d4caaadd Build: comment and tidy Ben Edgington 2025-07-10 01:14:14 +01:00
  • ac57a7ddaa Build: comment and tidy Ben Edgington 2025-07-10 01:14:14 +01:00
  • 90ed5ea257 Build: handle single-diagram files Ben Edgington 2025-07-07 17:55:31 +01:00
  • 1e3cfd6a4d Build: handle single-diagram files Ben Edgington 2025-07-07 17:55:31 +01:00
  • 6e512ad8b0 Build: handle single-diagram files Ben Edgington 2025-07-07 17:55:31 +01:00