[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.