Eric Huss 58af25384d Rework the look of the header navigation ... This updates the header navigation so that: - Added a colored bar to break it apart from the chapter navigation. - Removed the colored circle and just use link color to make it look cleaner.		2025-10-21 16:06:17 -07: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	Rework the look of the header navigation	2025-10-21 16:06:17 -07:00