Trying out default RTD theme.

* Looks like they've improved it considerably since the last time I
  checked (which was admittidely a very long time ago).