Fabian Boehm 56a4ae17c9 docs: Make output not selectable ...

We already do this for the prompt

2024-08-03 16:26:34 +02:00

..

fish.png

run fish.png through imageoptim

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

pydoctheme.css

docs: use canonical key names in :kbd: tags

2024-04-20 15:36:29 +02:00

pygments.css

docs: Make output not selectable

2024-08-03 16:26:34 +02:00