diff options
| author | Noel Maersk <veox@users.noreply.github.com> | 2018-05-24 19:21:19 +0800 |
|---|---|---|
| committer | Noel Maersk <veox@users.noreply.github.com> | 2018-05-24 19:21:19 +0800 |
| commit | 3678450549ae3f531d21795c2cdde9f5681a1744 (patch) | |
| tree | 1a8f595d26656a6510bf18c56cb27793eeaed359 | |
| parent | 4004fa8c98893e7990893458673f25c6246666e2 (diff) | |
| download | dexon-solidity-3678450549ae3f531d21795c2cdde9f5681a1744.tar.gz dexon-solidity-3678450549ae3f531d21795c2cdde9f5681a1744.tar.zst dexon-solidity-3678450549ae3f531d21795c2cdde9f5681a1744.zip | |
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.
| -rw-r--r-- | docs/conf.py | 2 |
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 |