nmbug-status: Style headers with smaller fonts

We only use h1 through h3, and David prefers smaller headers [1], so
shift over to the font sizes usually used for h2 through h4 [2,3,4].
I haven't bothered with the W3C's default margins, since a bit of
extra whitespace doesn't seem like a big deal.

[1]: id:87k2nl8r0k.fsf@zancas.localnet
     http://article.gmane.org/gmane.mail.notmuch.general/21595
[2]: http://www.w3.org/TR/html-markup/h2.html
[3]: http://www.w3.org/TR/html-markup/h3.html
[4]: http://www.w3.org/TR/html-markup/h4.html
This commit is contained in:
W. Trevor King 2016-01-07 05:51:29 -08:00 committed by David Bremner
parent e3d586d038
commit 8fc32dd42e

View file

@ -327,6 +327,15 @@ header_template = config['meta'].get('header', '''<!DOCTYPE html>
<meta http-equiv="Content-Type" content="text/html; charset={encoding}" />
<title>{title}</title>
<style media="screen" type="text/css">
h1 {{
font-size: 1.5em;
}}
h2 {{
font-size: 1.17em;
}}
h3 {{
font-size: 100%;
}}
table {{
border-spacing: 0;
}}