Fabian Homborg bf801afef8 docs: Move custom.css into the main css ... There's no real separation here so one file is preferable. We'll leave the pygments.css intact because that handles a different thing		2021-03-02 16:49:23 +01:00
..
copybutton.js	Replace the doc theme with the pydoctheme	2020-10-04 11:05:48 +02:00
fish.png	Use the small lcd version of our logo	2020-10-04 11:05:48 +02:00
pydoctheme.css	docs: Move custom.css into the main css	2021-03-02 16:49:23 +01:00
searchtools.js	docs: Hardcode a list of short builtins for unmatched search	2021-03-02 14:17:29 +01:00
sidebar.js	Replace the doc theme with the pydoctheme	2020-10-04 11:05:48 +02:00