Eric Huss 4a47b3d18a Add space between consecutive footnotes ... This fixes it so that consecutive footnotes have a little space between them so they aren't jammed together.		2025-08-18 17:11:18 -07:00
..
gui	Remove external website tests	2025-08-18 13:55:45 -07:00
testsuite	Add space between consecutive footnotes	2025-08-18 17:11:18 -07:00