Use readthedocs.org's default theme when building there.