From 8fc32dd42e17085f3d1a602d0ba955d9a91ddd8b Mon Sep 17 00:00:00 2001 From: "W. Trevor King" Date: Thu, 7 Jan 2016 05:51:29 -0800 Subject: [PATCH] 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 --- devel/nmbug/nmbug-status | 9 +++++++++ 1 file changed, 9 insertions(+) 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}