diff options
| author | Joris Van den Bossche <jorisvandenbossche@gmail.com> | 2021-09-17 08:44:49 +0200 |
|---|---|---|
| committer | Kristian Evers <kristianevers@gmail.com> | 2021-09-17 10:24:24 +0200 |
| commit | 15a619c4e56c53d36ab6c9ea458b603b215c87fa (patch) | |
| tree | 42125c7f8c445b4dd9c2880378c7be4de44c25a6 | |
| parent | a0de673b62a1de58561cce0421c54cbadba77083 (diff) | |
| download | PROJ-15a619c4e56c53d36ab6c9ea458b603b215c87fa.tar.gz PROJ-15a619c4e56c53d36ab6c9ea458b603b215c87fa.zip | |
DOC: fix the inclusion of the custom css file
| -rw-r--r-- | docs/source/conf.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index e227d151..f7125507 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -196,6 +196,10 @@ html_favicon = '../images/favicon.png' # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] +htm_css_files = [ + 'theme_overrides.css', # override wide tables in RTD theme +] + html_context = { 'display_github': True, 'theme_vcs_pageview_mode': 'edit', @@ -203,9 +207,6 @@ html_context = { 'github_repo': 'PROJ', # TODO: edit when switching active branch 'github_version': '/8.1/docs/source/', - 'css_files': [ - '_static/theme_overrides.css', # override wide tables in RTD theme - ], } # Add any extra paths that contain custom files (such as robots.txt or |