summaryrefslogtreecommitdiff
path: root/doc/developer/conf.py
diff options
context:
space:
mode:
authorQuentin Young <qlyoung@users.noreply.github.com>2019-02-19 12:41:08 -0500
committerGitHub <noreply@github.com>2019-02-19 12:41:08 -0500
commitccb50d4e9f412a96083c1139225cebc470781759 (patch)
treef434d95b3474f4d04e57668277caaf88d98bfa73 /doc/developer/conf.py
parent23ebff805c6704dd94c565c0676fb7a10747583f (diff)
parentafec87502a55abc52b42e122809a8e581d4828fb (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.py13
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 = []