Revert "ReadTheDocs hack to use default theme"

This reverts commit e02cc94402fb53dc7b9a206c75ad354798ea8e86.