Fabian Boehm 9bcb4dcf70 docs: Remove some needless margins for nested lists ...

This double-indented a nested list *and* added some gaps at the
bottom.

Other lists are unaffected

2023-06-28 16:32:55 +02:00

..

fish.png

run fish.png through imageoptim

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

pydoctheme.css

docs: Remove some needless margins for nested lists

2023-06-28 16:32:55 +02:00

pygments.css

Doc theme: Use code font for in-line commands as well

2022-02-24 18:12:22 +01:00