[WIP] Adaptions for our switch to ReadTheDocs.org

**This is still a work in progress, it is not ready for merging yet!**

Multiple changes to work better in combination with the readthedocs.org default theme.