Andrew Morgan df8c52cbfb Merge ab795c236b into 7c39427d8b		2025-12-18 14:43:36 +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 ab795c236b into 7c39427d8b	2025-12-18 14:43:36 +00:00