|
|
87afa4541e
|
fix: migrated settings from wtf_coop to custom_sphinx_rtd_theme
|
2021-10-02 15:07:17 +02:00 |
|
|
|
5d62b0f9f0
|
fix: replaced Robot Slab with Noto Serif Bold for headings
|
2021-10-02 15:03:38 +02:00 |
|
|
|
e10bb49f68
|
fix: removed (hopefully) unnecessary fonts folder
|
2021-10-02 14:54:29 +02:00 |
|
|
|
17e9225ac4
|
fix: copied sphinx_rtd_theme to further shrink filesize
|
2021-10-02 14:46:13 +02:00 |
|
