Eric Huss 118c1096ea Merge pull request #2899 from ehuss/filtered-headings ... Filter mark tags from sidebar heading nav		2025-10-22 00:24:37 +00:00
..
css	Rework the look of the header navigation	2025-10-21 16:06:17 -07:00
fonts	Use embedded SVG instead of fonts for icons	2025-08-14 20:14:55 -07:00
images	Move theme to mdbook-html	2025-07-23 17:40:52 -07:00
js	Update eslint to 9.34.0	2025-08-25 14:29:00 -07:00
playground_editor	Move theme to mdbook-html	2025-07-23 17:40:52 -07:00
searcher	Change all HTML IDs to have a prefix	2025-08-19 19:38:22 -07:00
templates	Merge pull request #2899 from ehuss/filtered-headings	2025-10-22 00:24:37 +00:00