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	Refining the CSS, changed the search to Duckduckgo, search filed in the sidebar, localized font	2017-03-28 11:13:12 +02:00
Lora-Regular.ttf	Font improvement to the manual	2021-04-18 18:55:24 +02:00
luadoc.css	More CSS simplification, hopefully no visual change. Made the left bar active title readable (lighter red)	2019-02-26 08:36:33 -08:00
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