Attempt to change the theme on readthedocs.org