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