Fabian Homborg edfa6746c6 docs: Move pygments css

2021-03-02 16:52:28 +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

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

sidebar.js

Replace the doc theme with the pydoctheme

2020-10-04 11:05:48 +02:00