docs: change default theme to RTD's.

RTD probably has their `default` theme set to their own `rtd` theme,
while CircleCI has some regular default Sphinx theme.

This changes the Sphinx project configuration to use `rtd` as the
theme.

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/conf.py b/docs/conf.py
index 0cc245b5..fdb67367 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -112,7 +112,7 @@ highlight_language = 'Solidity'
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'default'
+html_theme = 'sphinx_rtd_theme'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the