diff options
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/docs/conf.py b/docs/conf.py index 3ec162d34..91a3b3a9a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -52,13 +52,9 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store'] # a list of builtin themes. # html_theme = 'sphinx_rtd_theme' -html_theme_options = { -} - -# Add any paths that contain custom static files (such as style sheets) here, -# relative to this directory. They are copied after the builtin static files, -# so a file named "default.css" will overwrite the builtin "default.css". -html_static_path = [] +html_theme_options = {} +html_static_path = ['_static'] +html_css_files = ['custom.css'] # -- Breathe configuration --------------------------------------------------- breathe_default_project = "cvc5" |