rjw57/dtcwt — pull request #18 by rjw57 (2013-11-05 11:48:17+00:00)
Title: revert documentation theme to default

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