diff options
| -rw-r--r-- | Documentation/conf.py | 1 | ||||
| -rw-r--r-- | Documentation/sphinx-static/custom.css | 12 |
2 files changed, 13 insertions, 0 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 629f4afeb0eb..b924b266a70f 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -345,6 +345,7 @@ if html_theme == 'classic': else: html_theme_options = { 'description': get_cline_version(), + 'font_size': '14px', } 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..c465251e840a --- /dev/null +++ b/Documentation/sphinx-static/custom.css @@ -0,0 +1,12 @@ +/* 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; } |