Tweak presentation of category lists. (whatwg r3340)

Tweak presentation of category lists. (whatwg r3340)

http://dev.w3.org/cvsweb/html5/websockets/Overview.html?r1=1.79&r2=1.80&f=h
http://html5.org/tools/web-apps-tracker?from=3339&to=3340

===================================================================
RCS file: /sources/public/html5/websockets/Overview.html,v
retrieving revision 1.79
retrieving revision 1.80
diff -u -d -r1.79 -r1.80
--- Overview.html 26 Jun 2009 09:08:29 -0000 1.79
+++ Overview.html 29 Jun 2009 11:24:33 -0000 1.80
@@ -85,6 +85,13 @@
    .brief li { margin: 0; padding: 0; }
    .brief li p { margin: 0; padding: 0; }
 
+   .category-list { margin-top: -0.75em; margin-bottom: 1em; line-height: 1.5; }
+   .category-list::before { content: '\21D2\A0'; font-size: 1.2em; font-weight: 900; }
+   .category-list li { display: inline; }
+   .category-list li:not(:last-child)::after { content: ', '; }
+   .category-list li > span, .category-list li > a { text-transform: lowercase; }
+   .category-list li * { text-transform: none; } /* don't affect <code> nested in <a> */
+
    .XXX { color: #E50000; background: white; border: solid red; padding: 0.5em; margin: 1em 0; }
    .XXX > :first-child { margin-top: 0; }
    p .XXX { line-height: 3em; }
@@ -166,7 +173,7 @@
    <h1>The Web Sockets API</h1>
    <!--ZZZ:-->
    <!--<h2 class="no-num no-toc">W3C Working Draft 23 April 2009</h2>-->
-   <h2 class="no-num no-toc" id="editor-s-draft-date-1-january-1970">Editor's Draft 26 June 2009</h2>
+   <h2 class="no-num no-toc" id="editor-s-draft-date-1-january-1970">Editor's Draft 29 June 2009</h2>
    <!--:ZZZ-->
    <dl><!-- ZZZ: update the month/day (twice), (un)comment out
     <dt>This Version:</dt>
@@ -235,7 +242,7 @@
   specification's progress along the W3C Recommendation track.
   <!--ZZZ:-->
   <!--This specification is the 23 April 2009 Working Draft.-->
-  This specification is the 26 June 2009 Editor's Draft.
+  This specification is the 29 June 2009 Editor's Draft.
   <!--:ZZZ-->
   <p>This specification is being developed in conjunction with an
   Internet Draft for a wire protocol, the Web Socket Protocol,

Received on Monday, 29 June 2009 11:28:29 UTC