mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
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.
This commit is contained in:
parent
4004fa8c98
commit
3678450549
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user