W3C home > Mailing lists > Public > www-international@w3.org > October to December 2015

[charmod-norm] Editor's notes styling

From: r12a via GitHub <sysbot+gh@w3.org>
Date: Fri, 13 Nov 2015 06:39:50 +0000
To: www-international@w3.org
Message-ID: <issues.opened-116710927-1447396788-sysbot+gh@w3.org>
r12a has just created a new issue for 
https://github.com/w3c/charmod-norm:

== Editor's notes styling ==
the numerous editor's notes don't stand out from the ordinary notes.  
I suggest we use the `issue` class, rather than `ednote` for these 
items. 

See https://github.com/w3c/charmod-norm/issues/25
Further comments on this issue will NOT be notified to this list. If 
you'd like to follow the discussion, please do so by subscribing to 
the issue via the above link. Do not reply to this email.
Received on Friday, 13 November 2015 06:39:52 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:41:09 UTC