Trying to get readthedocs to use it's default theme which is very nice