diff options
| -rw-r--r-- | Documentation/conf.py | 3 | ||||
| -rw-r--r-- | Documentation/sphinx-static/custom.css | 14 |
2 files changed, 17 insertions, 0 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 629f4afeb0eb..1dbf3d6a55de 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -345,6 +345,9 @@ if html_theme == 'classic': else: html_theme_options = { 'description': get_cline_version(), + 'font_size': '10pt', + 'page_width': '65em', + 'sidebar_width': '15em', } sys.stderr.write("Using %s theme\n" % html_theme) diff --git a/Documentation/sphinx-static/custom.css b/Documentation/sphinx-static/custom.css new file mode 100644 index 000000000000..6b0e554cea0a --- /dev/null +++ b/Documentation/sphinx-static/custom.css @@ -0,0 +1,14 @@ +/* SPDX-License-Identifier: GPL-2.0 */ +/* + * CSS tweaks for the Alabaster theme + */ + +/* Shrink the headers a bit */ +div.body h1 { font-size: 180%; } +div.body h2 { font-size: 150%; } +div.body h3 { font-size: 130%; } + +/* Tighten up the layout slightly */ +div.body { padding: 0 15px 0 10px; } +div.document { margin: 20px 10px 0 10px; } +div.sphinxsidebarwrapper { padding: 1em 0.4em; } |