Eric Huss 18813516e1 Fix avoiding the mark header in the sidebar nav ... This makes sure that the sidebar headings don't have the `<mark>` tag. When these are created, the Marker is unable to remove them from the sidebar (and we don't want them there in the first place). I suspect we'll want more filtering in the future, but I'm not sure exactly what to filter. Alternatively, it could have an allow list of tags, and filter all others out.		2025-10-21 17:19:00 -07:00
..
gui	Fix avoiding the mark header in the sidebar nav	2025-10-21 17:19:00 -07:00
testsuite	Fix heading nav with folded chapters	2025-10-20 17:31:40 -07:00