diff options
| author |  W. Trevor King <wking@tremily.us> | 2014-02-13 08:47:18 -0800 |
|---|---|---|
| committer |  David Bremner <david@tethera.net> | 2014-02-13 21:47:37 -0400 |
| commit | aa32d2579b0aa4c8c8a31a1d6060445b254b2be2 (patch) | |
| tree | e947ba4d6efbb5b5fec72b9f63d4c17b865653ba /devel | |
| parent | 711d04c8214f487e57c4bbc26b4433c5e6f099ce (diff) | |
nmbug-status: Use <code> and <p> markup where appropriate
* Wrap free text in <p> tags.
* Convert <blockquote> to <p><code> for query strings.
* Wrap message-id-term (id:"...") in <code>.
The <code> tags get nicer default markup (smaller monospace font) for
notmuch query terms [1]. The <p> tags don't have much effect without
attached CSS, but bare text (phrasing content [2]) in <body> (which
expects flow content [3,4]) feels wrong.
[1]: http://www.w3.org/TR/html5/text-level-semantics.html#the-code-element
[2]: http://www.w3.org/TR/html5/dom.html#phrasing-content-1
[3]: http://www.w3.org/TR/html5/dom.html#flow-content-1
[4]: http://www.w3.org/TR/html5/sections.html#the-body-element
Diffstat (limited to 'devel')
| -rwxr-xr-x | devel/nmbug/nmbug-status | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/devel/nmbug/nmbug-status b/devel/nmbug/nmbug-status index 9fde20ec..6a156af2 100755 --- a/devel/nmbug/nmbug-status +++ b/devel/nmbug/nmbug-status @@ -183,14 +183,18 @@ class HtmlPage (Page): def _write_view_header(self, view, stream): stream.write('<h3 id="{id}">{title}</h3>\n'.format(**view)) + stream.write('<p>\n') if 'comment' in view: stream.write(view['comment']) stream.write('\n') for line in [ 'The view is generated from the following query:', - '<blockquote>', + '</p>', + '<p>', + ' <code>', view['query-string'], - '</blockquote>', + ' </code>', + '</p>', ]: stream.write(line) stream.write('\n') @@ -204,7 +208,7 @@ class HtmlPage (Page): stream.write(( '<tr>\n' ' <td>{date}</td>\n' - ' <td>{message-id-term}</td>\n' + ' <td><code>{message-id-term}</code></td>\n' '</tr>\n' '<tr>\n' ' <td>{from}</td>\n' @@ -243,8 +247,10 @@ _PAGES['html'] = HtmlPage( </head> <body> <h2>Notmuch Patches</h2> +<p> Generated: {date}<br /> For more infomation see <a href="http://notmuchmail.org/nmbug">nmbug</a> +</p> <h3>Views</h3> '''.format(date=datetime.datetime.utcnow().date()), footer='</body>\n</html>\n', |