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

..

css

…

js

…