Re: [PATCH] nmbug-status: Style headers with smaller fonts

2016-01-07 Thread Tomi Ollila
On Thu, Jan 07 2016, "W. Trevor King" wrote: > 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

[PATCH] nmbug-status: Style headers with smaller fonts

2016-01-07 Thread W. Trevor King
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 at zancas.localnet