I don't like how that Sphinx theme looks on readthedocs. Let's take advantage of the pretty readthedocs default theme.