Fabian Homborg 618b0d0add Make doc css not depend on sphinx' css ... This has required workarounds a few times, plus if it changes it might break our theme. See e.g. 4712da3eb1 e27456df24 a6d484836e 85522036f5 So we import the rules we *use* and throw away the rest. Note that this might still have rules that are no longer necessary - e.g. some that are required to work around sphinx bugs would still be left. It could benefit from some cleanup and simplification, and from switching to a flex layout instead of the 230px hardcoded sidebar - sphinx tried that, but it doesn't really work with our narrow layout, so we disabled it again.		2022-06-16 19:14:45 +02:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	Make doc css not depend on sphinx' css	2022-06-16 19:14:45 +02:00
pygments.css	Doc theme: Use code font for in-line commands as well	2022-02-24 18:12:22 +01:00