David Adam 71a6f979a5 docs/index: reword default shell section

2022-03-29 13:33:06 +08:00

..

fish.png

run fish.png through imageoptim

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

pydoctheme.css

docs/index: reword default shell section

2022-03-29 13:33:06 +08:00

pygments.css

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

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

searchtools.js

docs: Handle undefined LINK_SUFFIX

2021-04-25 09:42:02 +02:00