Andrew Morgan 665fb3d9b0 Merge 715e66fa00 into 7c39427d8b		2025-12-17 13:15:02 +00:00
..
css/fonts	Update Inter font and set display: swap (#2000)	2024-11-19 22:01:27 +00:00
diagrams	Improve the quality of the rendered diagrams (#1999)	2024-11-19 21:41:45 +00:00
icons	Use a proper favicon (#2001)	2024-11-19 22:08:45 +00:00
js	Fix version selector's historical URL (#2268)	2025-12-16 10:11:47 -07:00
scss	Merge 715e66fa00 into 7c39427d8b	2025-12-17 13:15:02 +00:00