Fabian Homborg 4712da3eb1 docs theme: Make work with sphinx 4.5 and 5.0 ... Sphinx 5.0 makes the document div a flex container, which clashes badly with the margin that earlier versions need. So we remove the margin and flex the div ourselves, which should work with either. It's time we make this freestanding - these changes are annoying.		2022-06-01 17:48:51 +02:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	docs theme: Make work with sphinx 4.5 and 5.0	2022-06-01 17:48:51 +02:00
pygments.css	Doc theme: Use code font for in-line commands as well	2022-02-24 18:12:22 +01:00