David Runge 2b2c02d836 Add custom CSS for the HTML output ... Distinguish links to internal glossary items (default text color, dotted bottom border) and those to sections, references or footnotes (blue, dashed bottom border). Use darkgreen (solid bottom border) for external links instead of the default blue. Signed-off-by: David Runge <dave@sleepmap.de>		2023-12-04 22:37:03 +01:00
..
mermaid	Experiment: Adjust signature type diagram structure	2023-11-06 23:21:18 +01:00
patches	Add local copy of upstreamed sphinx patch for CSS issues with EPUBs	2023-11-24 13:19:20 +01:00
source	Add custom CSS for the HTML output	2023-12-04 22:37:03 +01:00
.codespellrc	Add codespell integration, which checks all sources	2023-11-02 19:05:05 +01:00
Makefile	Add make target to rebuild HTML files when markdown changes	2023-12-04 22:37:00 +01:00