nmbug-status: Style headers with smaller fonts
authorW. Trevor King <wking@tremily.us>
Thu, 7 Jan 2016 13:51:29 +0000 (05:51 -0800)
committerDavid Bremner <david@tethera.net>
Wed, 13 Jan 2016 14:28:49 +0000 (10:28 -0400)
commit8fc32dd42e17085f3d1a602d0ba955d9a91ddd8b
tree2f5e6876bf52ac67f24de548dced28ba4fb260f9
parente3d586d038afc1d3b4ed7fe0fdae4ed546e17a63
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