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