Pat David 9b348e61a5 Add Heading Links (css/js) (#268) ... This adds a simple JS script (and css) to create and add links to headings (on hover).		2024-08-18 17:53:32 +02:00
..
common.css	Update monitor modes documentation for 8.6.388	2024-08-07 01:28:22 +02:00
junge-regular-webfont.ttf
Lora-Regular.ttf	Font improvement to the manual	2021-04-18 18:55:24 +02:00
luadoc.css
pdf.css	Reorganized and simplified the CSS, removing a warning when building the PDF	2022-11-24 13:13:37 +03:00
screen.css	Add Heading Links (css/js) (#268)	2024-08-18 17:53:32 +02:00