Stephan e10bb49f68 fix: removed (hopefully) unnecessary fonts folder

2021-10-02 14:54:29 +02:00

..

css

fix: copied sphinx_rtd_theme to further shrink filesize

2021-10-02 14:46:13 +02:00

js

fix: copied sphinx_rtd_theme to further shrink filesize

2021-10-02 14:46:13 +02:00