diff options
| author | Joris Van den Bossche <jorisvandenbossche@gmail.com> | 2021-09-17 08:44:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-17 08:44:49 +0200 |
| commit | 8a8207ad462e26be930d8277f3cccab6d3a71a7e (patch) | |
| tree | 4823c3e246a97b5e40da288ff4966e5c92a7a696 /docs/source | |
| parent | a3e412995df7dae2c8ef13d2682e03b770edcb75 (diff) | |
| download | PROJ-8a8207ad462e26be930d8277f3cccab6d3a71a7e.tar.gz PROJ-8a8207ad462e26be930d8277f3cccab6d3a71a7e.zip | |
DOC: fix the inclusion of the custom css file
Diffstat (limited to 'docs/source')
| -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 16b23398..d746647b 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.0/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 |