Fabian Homborg e27456df24 css: Use same font for headers ... For some reason classic.css gives these a special font. Let's just pick the body font again.		2022-01-13 19:25:44 +01:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	css: Use same font for headers	2022-01-13 19:25:44 +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