Fabian Homborg 7f34b8ab53 docs: Add copy buttons to all the codeblocks ... This uses a bit of javascript to add copy buttons, so you can directly copy all the code in a given block to the clipboard! For codeblocks without prompts, it just copies all the code, for blocks with prompts, it copies all the lines after prompts, under the assumption that that's the code to be executed. It would give you *all* the lines, so the output wouldn't be interleaved like it is in the html, but good enough. The buttons appear on hover, so they aren't usable on phones, but since you won't really have a clipboard on phones and I have no idea how to make them not always in front of the text otherwise: Eh. I'm not in love with the javascript here, but it'll do.		2021-08-15 20:09:49 +02:00
..
fish.png	Use the small lcd version of our logo	2020-10-04 11:05:48 +02:00
pydoctheme.css	docs: Add copy buttons to all the codeblocks	2021-08-15 20:09:49 +02:00
pygments.css	docs: Remove background from pygments	2021-07-30 18:36:12 +02:00
searchtools.js	docs: Handle undefined LINK_SUFFIX	2021-04-25 09:42:02 +02:00