Fabian Boehm 02e11773ad docs/css: Make h4s visible ... Otherwise this just looks like normal text. Same size as h3 for now, we might want to think about another indicator - underlines? background color?		2022-12-07 21:47:00 +01:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	docs/css: Make h4s visible	2022-12-07 21:47:00 +01:00
pygments.css	Doc theme: Use code font for in-line commands as well	2022-02-24 18:12:22 +01:00