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

diff --git a/f3/b86f2dd1ba290714cf65d21aa46e59af6b9b91 b/f3/b86f2dd1ba290714cf65d21aa46e59af6b9b91
new file mode 100644 (file)
index 0000000..ebe80cd
--- /dev/null
+++ b/f3/b86f2dd1ba290714cf65d21aa46e59af6b9b91
@@ -0,0 +1,116 @@
+Return-Path: <tomi.ollila@iki.fi>\r
+X-Original-To: notmuch@notmuchmail.org\r
+Delivered-To: notmuch@notmuchmail.org\r
+Received: from localhost (localhost [127.0.0.1])\r
+ by arlo.cworth.org (Postfix) with ESMTP id 4AE016DE0B27\r
+ for <notmuch@notmuchmail.org>; Thu,  7 Jan 2016 13:58:28 -0800 (PST)\r
+X-Virus-Scanned: Debian amavisd-new at cworth.org\r
+X-Spam-Flag: NO\r
+X-Spam-Score: 1.165\r
+X-Spam-Level: *\r
+X-Spam-Status: No, score=1.165 tagged_above=-999 required=5 tests=[AWL=-0.487,\r
+  FS_WITH_SMALL=1, SPF_NEUTRAL=0.652] autolearn=disabled\r
+Received: from arlo.cworth.org ([127.0.0.1])\r
+ by localhost (arlo.cworth.org [127.0.0.1]) (amavisd-new, port 10024)\r
+ with ESMTP id uACrP8UB2uIr for <notmuch@notmuchmail.org>;\r
+ Thu,  7 Jan 2016 13:58:25 -0800 (PST)\r
+Received: from guru.guru-group.fi (guru.guru-group.fi [46.183.73.34])\r
+ by arlo.cworth.org (Postfix) with ESMTP id 883E56DE0B26\r
+ for <notmuch@notmuchmail.org>; Thu,  7 Jan 2016 13:58:25 -0800 (PST)\r
+Received: from guru.guru-group.fi (localhost [IPv6:::1])\r
+ by guru.guru-group.fi (Postfix) with ESMTP id 6BA7F1000B3;\r
+ Thu,  7 Jan 2016 23:58:45 +0200 (EET)\r
+From: Tomi Ollila <tomi.ollila@iki.fi>\r
+To: "W. Trevor King" <wking@tremily.us>, notmuch@notmuchmail.org\r
+Subject: Re: [PATCH] nmbug-status: Style headers with smaller fonts\r
+In-Reply-To:\r
+ <b1a0c49671f26d37a6925bb46a249c8edba99963.1452174532.git.wking@tremily.us>\r
+References: <87k2nl8r0k.fsf@zancas.localnet>\r
+ <b1a0c49671f26d37a6925bb46a249c8edba99963.1452174532.git.wking@tremily.us>\r
+User-Agent: Notmuch/0.21+32~g73439f8 (http://notmuchmail.org) Emacs/24.3.1\r
+ (x86_64-unknown-linux-gnu)\r
+X-Face: HhBM'cA~<r"^Xv\KRN0P{vn'Y"Kd;zg_y3S[4)KSN~s?O\"QPoL\r
+ $[Xv_BD:i/F$WiEWax}R(MPS`^UaptOGD`*/=@\1lKoVa9tnrg0TW?"r7aRtgk[F\r
+ !)g;OY^,BjTbr)Np:%c_o'jj,Z\r
+Date: Thu, 07 Jan 2016 23:58:45 +0200\r
+Message-ID: <m237u9jbl6.fsf@guru.guru-group.fi>\r
+MIME-Version: 1.0\r
+Content-Type: text/plain\r
+X-BeenThere: notmuch@notmuchmail.org\r
+X-Mailman-Version: 2.1.20\r
+Precedence: list\r
+List-Id: "Use and development of the notmuch mail system."\r
+ <notmuch.notmuchmail.org>\r
+List-Unsubscribe: <https://notmuchmail.org/mailman/options/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
+List-Archive: <http://notmuchmail.org/pipermail/notmuch/>\r
+List-Post: <mailto:notmuch@notmuchmail.org>\r
+List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
+List-Subscribe: <https://notmuchmail.org/mailman/listinfo/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
+X-List-Received-Date: Thu, 07 Jan 2016 21:58:28 -0000\r
+\r
+On Thu, Jan 07 2016, "W. Trevor King" <wking@tremily.us> wrote:\r
+\r
+> We only use h1 through h3, and David prefers smaller headers [1], so\r
+> shift over to the font sizes usually used for h2 through h4 [2,3,4].\r
+> I haven't bothered with the W3C's default margins, since a bit of\r
+> extra whitespace doesn't seem like a big deal.\r
+>\r
+> [1]: id:87k2nl8r0k.fsf@zancas.localnet\r
+>      http://article.gmane.org/gmane.mail.notmuch.general/21595\r
+> [2]: http://www.w3.org/TR/html-markup/h2.html\r
+> [3]: http://www.w3.org/TR/html-markup/h3.html\r
+> [4]: http://www.w3.org/TR/html-markup/h4.html\r
+> ---\r
+> On Thu, Jan 07, 2016 at 09:20:59AM -0400, David Bremner wrote:\r
+>> W. Trevor King writes:\r
+>> > We can always add additional CSS if the default h1 formatting is\r
+>> > too intense.\r
+>>\r
+>> I'm pretty sure it will be, at least for me, since that's the reason\r
+>> I did it this way in the first place. I'm (obviously) not a web\r
+>> person, how about providing some CSS to roughly duplicate the\r
+>> current visuals?\r
+>\r
+> Here you go :).\r
+\r
+Looks good, matches the [2], [3], [4] (well enough, spacing differences\r
+are so small) and applies.\r
+\r
+Tomi\r
+\r
+>\r
+> Cheers,\r
+> Trevor\r
+>\r
+>  devel/nmbug/nmbug-status | 9 +++++++++\r
+>  1 file changed, 9 insertions(+)\r
+>\r
+> diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status\r
+> index f33f660..0382919 100755\r
+> --- a/devel/nmbug/nmbug-status\r
+> +++ b/devel/nmbug/nmbug-status\r
+> @@ -327,6 +327,15 @@ header_template = config['meta'].get('header', '''<!DOCTYPE html>\r
+>    <meta http-equiv="Content-Type" content="text/html; charset={encoding}" />\r
+>    <title>{title}</title>\r
+>    <style media="screen" type="text/css">\r
+> +    h1 {{\r
+> +      font-size: 1.5em;\r
+> +    }}\r
+> +    h2 {{\r
+> +      font-size: 1.17em;\r
+> +    }}\r
+> +    h3 {{\r
+> +      font-size: 100%;\r
+> +    }}\r
+>      table {{\r
+>        border-spacing: 0;\r
+>      }}\r
+> -- \r
+> 2.1.0.60.g85f0837\r
+>\r
+> _______________________________________________\r
+> notmuch mailing list\r
+> notmuch@notmuchmail.org\r
+> https://notmuchmail.org/mailman/listinfo/notmuch\r