commit bd5d1cc8ffd7ab83a409a203c1892b6216258d88
author Jonathan Corbet <corbet@lwn.net> Mon Oct 31 10:48:19 2022 -0600
committer Jonathan Corbet <corbet@lwn.net> Tue Nov 01 15:59:40 2022 -0600
tree 1e2990f7441a98326d58b511bf7b2a7fe9daf783
parent 2ad34b823373c210c91e0b66c0ab5b4baffa3f0b

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>

Documentation/conf.py

diff --git a/Documentation/conf.py b/Documentation/conf.py
index 6ab4783..c715610 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -316,9 +316,10 @@
 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)

Documentation/sphinx-static/custom.css

diff --git a/Documentation/sphinx-static/custom.css b/Documentation/sphinx-static/custom.css
index 9b36f7ab..45a624f 100644
--- a/Documentation/sphinx-static/custom.css
+++ b/Documentation/sphinx-static/custom.css
@@ -11,6 +11,7 @@
 /* Tighten up the layout slightly */
 div.body { padding: 0 15px 0 10px; }
 div.sphinxsidebarwrapper { padding: 1em 0.4em; }
+div.sphinxsidebar { font-size: inherit; }
 /* Tweak document margins and don't force width */
 div.document {
     margin: 20px 10px 0 10px;