diff options
Diffstat (limited to 'Documentation/conf.py')
| -rw-r--r-- | Documentation/conf.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 85e0438579..f108d77a0f 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -58,7 +58,13 @@ html_theme = 'sphinx_rtd_theme' # 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 = ['_static'] +html_static_path = ['_static'] + +html_context = { + 'css_files': [ + '_static/theme_overrides.css', # override wide tables in RTD theme + ], +} # Output file base name for HTML help builder. htmlhelp_basename = 'corebootdoc' |