Change to default theme on readthedocs.org