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

Thu Jan 7 13:58:45 PST 2016

On Thu, Jan 07 2016, "W. Trevor King" <wking at 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 at 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 at notmuchmail.org
> https://notmuchmail.org/mailman/listinfo/notmuch