Fabian Homborg 05ac24006e Doc theme: Rationalize line-height/margin ...

Now all based on multiples of 1em.

2022-02-24 18:01:25 +01:00

..

fish.png

run fish.png through imageoptim

2021-10-16 14:33:12 -07:00

pydoctheme.css

Doc theme: Rationalize line-height/margin

2022-02-24 18:01:25 +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