Lars Eggert f8e1899108 fix: Don't include modal headings in right-hand nav menu (#5710) ... Fixes #5701		2023-05-30 11:56:17 -05:00
..
css	feat: set fonts for htmlized doc template (#5636)	2023-05-16 14:56:36 -05:00
images	chore: Remove unused arrow-ani.webp (#5386)	2023-03-26 14:15:39 +09:00
js	fix: Don't include modal headings in right-hand nav menu (#5710)	2023-05-30 11:56:17 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00