diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2022-02-07 17:52:26 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2022-02-07 18:41:31 +0100 |
commit | d275c83869d154f2f6529f1e64391f90de9ee64b (patch) | |
tree | 89a36b39abd471fdd77823345663949993907293 /doc/conf.py | |
parent | 6f972aaf43085c362239e3980a26868df18c2fd8 (diff) | |
download | ghdl-d275c83869d154f2f6529f1e64391f90de9ee64b.tar.gz ghdl-d275c83869d154f2f6529f1e64391f90de9ee64b.tar.bz2 ghdl-d275c83869d154f2f6529f1e64391f90de9ee64b.zip |
doc: use theme_overrides and class 'shield' to fix the width of SHIELDs
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 |