Fabian Homborg 82445e3e6d docs: Add colored border to inline code ... Makes it stand out just a teensy bit more. It's the same border we use for code *blocks*		2022-06-01 20:58:27 +02:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	docs: Add colored border to inline code	2022-06-01 20:58:27 +02:00
pygments.css	Doc theme: Use code font for in-line commands as well	2022-02-24 18:12:22 +01:00