Use sphinx_rtd_theme instead of our lightly-customized version of sphinx default.

The main benefit of this change is the responsive layout for phones and
tablets.