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

..

badge_only.js

Reset sphinx rtd theme to 0.5.2 with no modifications

2021-05-10 17:02:49 +01:00

theme.js

Reset sphinx rtd theme to 0.5.2 with no modifications

2021-05-10 17:02:49 +01:00