Apparently readthedocs doesn't automatically come with their own theme anymore. This should fix the build.