diff options
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index b01d17329..fc1888b6a 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -86,6 +86,9 @@ html_theme_options = { 'home_breadcrumbs': False, 'vcs_pageview_mode': 'blob', } +html_css_files = [ + "theme_overrides.css", +] html_static_path = ['_static'] # '/public' will contain the output from gnatdoc |