David Runge e66a5760b5 Integrate custom CSS for the HTML output ... Set a high priority for the custom CSS so that it is able to override theme CSS. 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	Integrate 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