From: W. Trevor King Date: Thu, 7 Jan 2016 13:51:29 +0000 (-0800) Subject: nmbug-status: Style headers with smaller fonts X-Git-Tag: 0.22_rc0~74 X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=commitdiff_plain;h=8fc32dd42e17085f3d1a602d0ba955d9a91ddd8b 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 --- diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status index b4ded499..cb8b984a 100755 --- a/devel/nmbug/nmbug-status +++ b/devel/nmbug/nmbug-status @@ -327,6 +327,15 @@ header_template = config['meta'].get('header', ''' {title}