html5/spec Overview.html,1.4543,1.4544

Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv21913

Modified Files:
	Overview.html 
Log Message:
allow warning to be closed

Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.4543
retrieving revision 1.4544
diff -u -d -r1.4543 -r1.4544
--- Overview.html	11 Nov 2010 00:57:16 -0000	1.4543
+++ Overview.html	11 Nov 2010 01:27:04 -0000	1.4544
@@ -207,6 +207,17 @@
    .stability strong {
      display: block;
    }
+   .stability input {
+     appearance: none; margin: 0; border: 0; padding: 0.25em 0.5em; background: transparent; color: black;
+     position: absolute; top: -0.5em; right: 0; font: 1.25em sans-serif; text-align: center;
+   }
+   .stability input:hover {
+     color: white;
+     text-shadow: 0 0 2px black;
+   }
+   .stability input:active {
+     padding: 0.3em 0.45em 0.2em 0.55em;
+   }
    .stability :link, .stability :visited,
    .stability :link:hover, .stability :visited:hover {
      background: transparent;
@@ -457,7 +468,12 @@
   Candidate Recommendation stage should join the aforementioned
   mailing lists and take part in the discussions.</p><!-- stability warning for TR/ page version --><!-- q.v. http://lists.w3.org/Archives/Public/public-html/2010Oct/0457.html --><p class="all-pages stability" id="wip"><strong>This is a work in
   progress!</strong> For the latest updates from the HTML WG, possibly
-  including important bug fixes, please look at the <a href="http://dev.w3.org/html5/spec/Overview.html">editor's draft</a> instead.</p><!--
+  including important bug fixes, please look at the <a href="http://dev.w3.org/html5/spec/Overview.html">editor's draft</a> instead.
+  <input onclick="closeWarning(this.parentNode)" type="button" value="&#9587;&#8413;"></p><script class="all-pages">
+   function closeWarning(element) {
+     element.parentNode.removeChild(element);
+   }
+  </script><!--
   <script class="all-pages">
    if (location == 'http://dev.w3.org/html5/spec/Overview.html') {
      var wip = document.getElementById('wip');

Received on Thursday, 11 November 2010 01:27:10 UTC