Fabian Boehm 70a1febd6d Readd some missed changes ...

The "Warning:" on the warning (in index.html#default shell) wasn't in
the line with the text, the features list had more padding and some
headers were smaller, some table stuff

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

Readd some missed changes

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