diff options
| author | Jonathan Corbet <corbet@lwn.net> | 2022-10-31 10:48:19 -0600 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2022-11-01 15:59:40 -0600 |
| commit | bd5d1cc8ffd7ab83a409a203c1892b6216258d88 (patch) | |
| tree | 1e2990f7441a98326d58b511bf7b2a7fe9daf783 /Documentation/conf.py | |
| parent | 2ad34b823373c210c91e0b66c0ab5b4baffa3f0b (diff) | |
docs: Don't wire font sizes for HTML output
The alabaster theme likes to provide explicit sizes for fonts, which
overrides the users's own browser settings and is guaranteed to displease
folks. Set the font size to "inherit" so that the users browser settings
control the font size they get. We can use the font_size configuration
option for the main body font (changing the size I'd already put there),
but the sidebar size can only be set via custom CSS.
Reported-by: Bagas Sanjaya <bagasdotme@gmail.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/conf.py')
| -rw-r--r-- | Documentation/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 6ab47833ab6c..c715610d6297 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -316,9 +316,10 @@ if major <= 1 and minor < 8: if html_theme == 'alabaster': html_theme_options = { 'description': get_cline_version(), - 'font_size': '10pt', 'page_width': '65em', 'sidebar_width': '15em', + 'font_size': 'inherit', + 'font_family': 'serif', } sys.stderr.write("Using %s theme\n" % html_theme) |