revert documentation theme to default

Readthedocs has updated their default theme to not suck. We can revert to
using it now.