baldurk
|
9e93154383
|
Fix sphinx rtd theme for new sphinx version
|
2023-05-01 17:43:49 +01:00 |
|
baldurk
|
9c50927777
|
Remove navigation elements on embedded help builds (like htmlhelp)
|
2021-05-10 17:02:49 +01:00 |
|
baldurk
|
e33263270d
|
Remove encoding & embedded js that breaks htmlhelp builder
|
2021-05-10 17:02:49 +01:00 |
|
baldurk
|
b8abb18810
|
Reset sphinx rtd theme to 0.5.2 with no modifications
* The next commit will contain our customisations that we still need for chm, to
make it clearer.
|
2021-05-10 17:02:49 +01:00 |
|
baldurk
|
9f9a4cda5e
|
Fix search in chm-friendly RTD theme
|
2020-06-05 12:24:33 +01:00 |
|
baldurk
|
5cd04f27a0
|
Fix some encoding issues with sphinx docs in htmlhelp builder
|
2020-03-09 10:57:05 +00:00 |
|
baldurk
|
fc61918b89
|
Update sphinx_rtd_theme (keeping our local changes)
|
2017-05-15 10:52:43 +01:00 |
|
baldurk
|
7e35a63e17
|
Copy and modify sphinx_rtdtheme for use
|
2016-05-15 21:33:59 +02:00 |
|