Commit bd5d1cc8 authored by Jonathan Corbet's avatar Jonathan Corbet
Browse files

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: default avatarBagas Sanjaya <bagasdotme@gmail.com>
Signed-off-by: default avatarJonathan Corbet <corbet@lwn.net>
parent 2ad34b82
Loading
Loading
Loading
Loading
+2 −1
Original line number Diff line number Diff line
@@ -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)
+1 −0
Original line number Diff line number Diff line
@@ -11,6 +11,7 @@ div.body h3 { font-size: 130%; }
/* 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;