Eric Huss 4b5004b621 Avoid divide-by-zero in heading nav computation ... This particular value can go to zero when the document height and the window height are exactly the same value. This causes a NaN which causes the "current" heading nav bug to not update properly. This clamps the value to 1 to avoid that.		2025-10-20 17:43:34 -07:00
..
css	Remove tabs in chrome.css	2025-10-20 15:41:33 -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	Avoid divide-by-zero in heading nav computation	2025-10-20 17:43:34 -07:00