On Thu, Jan 07 2016, "W. Trevor King" <wking@tremily.us> 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 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 > --- > On Thu, Jan 07, 2016 at 09:20:59AM -0400, David Bremner wrote: >> W. Trevor King writes: >> > We can always add additional CSS if the default h1 formatting is >> > too intense. >> >> I'm pretty sure it will be, at least for me, since that's the reason >> I did it this way in the first place. I'm (obviously) not a web >> person, how about providing some CSS to roughly duplicate the >> current visuals? > > Here you go :). Looks good, matches the [2], [3], [4] (well enough, spacing differences are so small) and applies. Tomi > > Cheers, > Trevor > > devel/nmbug/nmbug-status | 9 +++++++++ > 1 file changed, 9 insertions(+) > > diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status > index f33f660..0382919 100755 > --- a/devel/nmbug/nmbug-status > +++ b/devel/nmbug/nmbug-status > @@ -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; > }} > -- > 2.1.0.60.g85f0837 > > _______________________________________________ > notmuch mailing list > notmuch@notmuchmail.org > https://notmuchmail.org/mailman/listinfo/notmuch