Fabian Homborg 9a9cd5172d docs: Don't make envvar names so large and in a different font ... They're still bold, so still quite noticeable. But not *IN YOUR FACE*.		2021-11-12 18:21:38 +01:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	docs: Don't make envvar names so large and in a different font	2021-11-12 18:21:38 +01:00
pygments.css	pygments.css: update colors	2021-11-06 14:09:27 -07:00
searchtools.js	docs: Handle undefined LINK_SUFFIX	2021-04-25 09:42:02 +02:00