| commit | 5e13f6dd0b17799c4e730fab1272697779462f7f | [log] [tgz] |
|---|---|---|
| author | Paul Ganssle <paul@ganssle.io> | Tue Apr 24 19:29:46 2018 -0400 |
| committer | Paul Ganssle <paul@ganssle.io> | Tue Apr 24 19:29:46 2018 -0400 |
| tree | 2cdc0cf5b6942894487085e8c029875c7e5319da | |
| parent | 187b69dd5659e26f1b0098cb1c126c4b663e0d4d [diff] [blame] |
Change the default docs theme and build
diff --git a/docs/conf.py b/docs/conf.py index c970177..da18a25 100644 --- a/docs/conf.py +++ b/docs/conf.py
@@ -106,7 +106,7 @@ # 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