diff options
| author | W. Trevor King <wking@tremily.us> | 2016-01-07 05:51:29 -0800 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-01-13 10:28:49 -0400 |
| commit | 8fc32dd42e17085f3d1a602d0ba955d9a91ddd8b (patch) | |
| tree | 2f5e6876bf52ac67f24de548dced28ba4fb260f9 /devel | |
| parent | e3d586d038afc1d3b4ed7fe0fdae4ed546e17a63 (diff) | |
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
Diffstat (limited to 'devel')
| -rwxr-xr-x | devel/nmbug/nmbug-status | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status index b4ded499..cb8b984a 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; }} |