Fabian Homborg 5b4db4a6ea docs: Remove some useless wrappers ... The "classic" theme is a mostly useless wrapper around the basic theme that just adds a collapsible sidebar (that we no longer have). Moving to basic directly drops a layer of indirection and a file that needs to be transferred over the net. Same thing goes for "default.css" which literally just includes classic.css (WHYYYY???) (also this removes some useless javascript)		2021-03-02 16:59:38 +01:00
..
fish.png	Use the small lcd version of our logo	2020-10-04 11:05:48 +02:00
pydoctheme.css	docs: Remove some useless wrappers	2021-03-02 16:59:38 +01:00
pygments.css	docs: Move pygments css	2021-03-02 16:52:28 +01:00
searchtools.js	docs: Hardcode a list of short builtins for unmatched search	2021-03-02 14:17:29 +01:00