Fabian Boehm 88b445ce9e Put short footnotes on one line again ... Unlike before, this doesn't force the number to be on the same line as strongly, that's fine. So short footnotes look like ------------- [1] Some text ------------- Longer footnotes may look like -------------- [2] Some more text --------------		2022-06-16 19:14:45 +02:00
..
fish.png	run fish.png through imageoptim	2021-10-16 14:33:12 -07:00
pydoctheme.css	Put short footnotes on one line again	2022-06-16 19:14:45 +02:00
pygments.css	Doc theme: Use code font for in-line commands as well	2022-02-24 18:12:22 +01:00