diff options
| author | Quentin Young <qlyoung@users.noreply.github.com> | 2019-02-19 12:41:08 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-19 12:41:08 -0500 |
| commit | ccb50d4e9f412a96083c1139225cebc470781759 (patch) | |
| tree | f434d95b3474f4d04e57668277caaf88d98bfa73 /doc/developer/conf.py | |
| parent | 23ebff805c6704dd94c565c0676fb7a10747583f (diff) | |
| parent | afec87502a55abc52b42e122809a8e581d4828fb (diff) | |
Merge pull request #3816 from opensourcerouting/doc-pager-theme
[master] doc: VTYSH_PAGER docs + new FRR theme
Diffstat (limited to 'doc/developer/conf.py')
| -rw-r--r-- | doc/developer/conf.py | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/doc/developer/conf.py b/doc/developer/conf.py index ad501ae39d..af8673e5fa 100644 --- a/doc/developer/conf.py +++ b/doc/developer/conf.py @@ -167,12 +167,19 @@ todo_include_todos = True # a list of builtin themes. html_theme = 'default' +try: + import sphinx_rtd_theme + + html_theme = 'sphinx_rtd_theme' +except ImportError: + pass + # 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 # documentation. -html_theme_options = { - 'sidebarbgcolor': '#374249' -} +#html_theme_options = { +# 'sidebarbgcolor': '#374249' +#} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] |
