Changed the documentation html_theme to default

Changed the html_theme back to 'default' from 'pyramid'. Prefer the original
theme on readthedocs.org.

TODO: Change local documentation theme whilst maintaining the default
readthedocs.org theme