diff options
| -rw-r--r-- | Documentation/conf.py | 9 | ||||
| -rw-r--r-- | Documentation/sphinx-static/theme_overrides.css | 9 |
2 files changed, 17 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 792b6338ef19..f35748b4bc26 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -176,7 +176,14 @@ except ImportError: # 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 = ['sphinx-static'] + +html_context = { + 'css_files': [ + '_static/theme_overrides.css', + ], +} # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied diff --git a/Documentation/sphinx-static/theme_overrides.css b/Documentation/sphinx-static/theme_overrides.css new file mode 100644 index 000000000000..4d670dbf7ffa --- /dev/null +++ b/Documentation/sphinx-static/theme_overrides.css @@ -0,0 +1,9 @@ +/* -*- coding: utf-8; mode: css -*- + * + * Sphinx HTML theme customization + * + */ + +@media screen { + +} |