rjw57/dtcwt — pull request #23 by rjw57 (2013-11-06 20:26:33+00:00)
Title: revert documentation theme to default

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