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