[html5] r4687 - [e] (0) minor tweaks to the presentation

whatwg at whatwg.org whatwg at whatwg.org
Wed Feb 10 03:06:00 PST 2010


Author: ianh
Date: 2010-02-10 03:05:59 -0800 (Wed, 10 Feb 2010)
New Revision: 4687

Modified:
   complete.html
   index
Log:
[e] (0) minor tweaks to the presentation

Modified: complete.html
===================================================================
--- complete.html	2010-02-10 08:09:25 UTC (rev 4686)
+++ complete.html	2010-02-10 11:05:59 UTC (rev 4687)
@@ -1,17 +1,88 @@
-<!DOCTYPE html><html lang=en-US-x-hixie><title>Web Applications 1.0</title><link href=/style/specification rel=stylesheet><link href=/images/icon rel=icon><style>
+<!DOCTYPE html><html lang=en-US-x-hixie><title>Web Applications 1.0</title><script>
+   var loadTimer = new Date();
+   var current_revision = "r" + "$Revision$".substr(11);
+   current_revision = current_revision.substr(0, current_revision.length - 2);
+   var last_known_revision = current_revision;
+   function getCookie(name) {
+     var params = location.search.substr(1).split("&");
+     for (var index = 0; index < params.length; index++) {
+       if (params[index] == name)
+         return "1";
+       var data = params[index].split("=");
+       if (data[0] == name)
+         return unescape(data[1]);
+     }
+     var cookies = document.cookie.split("; ");
+     for (var index = 0; index < cookies.length; index++) {
+       var data = cookies[index].split("=");
+       if (data[0] == name)
+         return unescape(data[1]);
+     }
+     return null;
+   }
+   var currentAlert;
+   var currentAlertTimeout;
+   function showAlert(s, href) {
+     if (!currentAlert) {
+       currentAlert = document.createElement('div');
+       currentAlert.id = 'alert';
+       var x = document.createElement('button');
+       x.textContent = 'Close';
+       x.onclick = closeAlert2;
+       currentAlert.appendChild(x);
+       currentAlert.appendChild(document.createElement('span'));
+       currentAlert.onmousemove = function () {
+         clearTimeout(currentAlertTimeout);
+         currentAlert.className = '';
+         currentAlertTimeout = setTimeout(closeAlert, 10000);
+       }
+       document.body.appendChild(currentAlert);
+     } else {
+       clearTimeout(currentAlertTimeout);
+       currentAlert.className = '';
+     }
+     currentAlert.lastChild.textContent = s + ' ';
+     if (href) {
+       var link = document.createElement('a');
+       link.href = href;
+       link.textContent = href;
+       currentAlert.lastChild.appendChild(link);
+     }
+     currentAlertTimeout = setTimeout(closeAlert, 10000);
+   }
+   function closeAlert() {
+     currentAlert.className = 'closed';
+     currentAlertTimeout = setTimeout(closeAlert2, 3000);
+   }
+   function closeAlert2() {
+     currentAlert.parentNode.removeChild(currentAlert);
+     currentAlert = null;
+     clearTimeout(currentAlertTimeout);
+   }
+   function load(script) {
+     var e = document.createElement('script');
+     e.setAttribute('src', 'http://www.whatwg.org/specs/web-apps/current-work/' + script + '?' + encodeURIComponent(location) + '&' + encodeURIComponent(document.referrer));
+     document.body.appendChild(e);
+   }
+  </script><link href=/style/specification rel=stylesheet><link href=/images/icon rel=icon><style>
    .proposal { border: blue solid; padding: 1em; }
    .bad, .bad *:not(.XXX) { color: gray; border-color: gray; background: transparent; }
    #updatesStatus { display: none; }
    #updatesStatus.relevant { display: block; position: fixed; right: 1em; top: 1em; padding: 0.5em; font: bold small sans-serif; min-width: 25em; width: 30%; max-width: 40em; height: auto; border: ridge 4px gray; background: #EEEEEE; color: black; }
    div.head .logo { width: 11em; margin-bottom: 20em; }
-   #configUI { position: absolute; z-index: 20; top: 10em; right: 1em; width: 11em; font-size: small; }
-   #configUI p { margin: 0.5em 0; padding: 0.3em; background: #EEEEEE; color: black; border: inset thin; }
+   #configUI { position: absolute; z-index: 20; top: 10em; right: 0; width: 11em; padding: 0 0.5em 0 0.5em; font-size: small; background: gray; background: rgba(32,32,32,0.9); color: white; border-radius: 1em 0 0 1em; -moz-border-radius: 1em 0 0 1em; }
+   #configUI p { margin: 0.75em 0; padding: 0.3em; }
    #configUI p label { display: block; }
    #configUI #updateUI, #configUI .loginUI { text-align: center; }
    #configUI input[type=button] { display: block; margin: auto; }
-   #reviewer { position: fixed; bottom: 0; right: 0; white-space: nowrap; border: thin; border-style: inset none none inset; background: #EEEEEE; color: black; overflow: hidden; z-index: 30; }
+   #configUI :link, #configUI :visited { color: white; }
+   #reviewer { position: fixed; bottom: 0; right: 0; padding: 0.15em 0.25em 0em 0.5em; white-space: nowrap; overflow: hidden; z-index: 30; background: gray; background: rgba(32,32,32,0.9); color: white; border-radius: 1em 0 0 0; -moz-border-radius: 1em 0 0 0; }
    #reviewer * { font-size: small; }
    #reviewer.off > :not(:first-child) { display: none; }
+   #alert { position: fixed; top: 20%; left: 20%; right: 20%; font-size: 2em; padding: 0.5em; z-index: 40; background: gray; background: rgba(32,32,32,0.9); color: white; border-radius: 1em; -moz-border-radius: 1em; -webkit-transition: opacity 1s linear; }
+   #alert.closed { opacity: 0; }
+   #alert button { position: absolute; bottom: 0.5em; right: 2em; border: solid white; color: white; font-size: 0.4em; background: transparent; }
+   #alert :link, #alert :visited { color: white; }
    @media print { #configUI { display: none; } }
    .rfc2119 { font-variant: small-caps; text-shadow: 0 0 0.5em yellow; position: static; }
    .rfc2119::after { position: absolute; left: 0; width: 25px; text-align: center; color: yellow; text-shadow: 0.075em 0.075em 0.2em black; }
@@ -66,32 +137,6 @@
    .details-example img { vertical-align: top; }
 
   </style><link href=status.css rel=stylesheet><script>
-   var loadTimer = new Date();
-   var current_revision = "r" + "$Revision$".substr(11);
-   current_revision = current_revision.substr(0, current_revision.length - 2);
-   var last_known_revision = current_revision;
-   function getCookie(name) {
-     var params = location.search.substr(1).split("&");
-     for (var index = 0; index < params.length; index++) {
-       if (params[index] == name)
-         return "1";
-       var data = params[index].split("=");
-       if (data[0] == name)
-         return unescape(data[1]);
-     }
-     var cookies = document.cookie.split("; ");
-     for (var index = 0; index < cookies.length; index++) {
-       var data = cookies[index].split("=");
-       if (data[0] == name)
-         return unescape(data[1]);
-     }
-     return null;
-   }
-   function load(script) {
-     var e = document.createElement('script');
-     e.setAttribute('src', script);
-     document.body.appendChild(e);
-   }
    function init() {
      if (location.search == '?slow-browser')
        return;

Modified: index
===================================================================
--- index	2010-02-10 08:09:25 UTC (rev 4686)
+++ index	2010-02-10 11:05:59 UTC (rev 4687)
@@ -1,17 +1,88 @@
-<!DOCTYPE html><html lang=en-US-x-hixie><title>HTML5 (including next generation additions still in development)</title><link href=/style/specification rel=stylesheet><link href=/images/icon rel=icon><style>
+<!DOCTYPE html><html lang=en-US-x-hixie><title>HTML5 (including next generation additions still in development)</title><script>
+   var loadTimer = new Date();
+   var current_revision = "r" + "$Revision$".substr(11);
+   current_revision = current_revision.substr(0, current_revision.length - 2);
+   var last_known_revision = current_revision;
+   function getCookie(name) {
+     var params = location.search.substr(1).split("&");
+     for (var index = 0; index < params.length; index++) {
+       if (params[index] == name)
+         return "1";
+       var data = params[index].split("=");
+       if (data[0] == name)
+         return unescape(data[1]);
+     }
+     var cookies = document.cookie.split("; ");
+     for (var index = 0; index < cookies.length; index++) {
+       var data = cookies[index].split("=");
+       if (data[0] == name)
+         return unescape(data[1]);
+     }
+     return null;
+   }
+   var currentAlert;
+   var currentAlertTimeout;
+   function showAlert(s, href) {
+     if (!currentAlert) {
+       currentAlert = document.createElement('div');
+       currentAlert.id = 'alert';
+       var x = document.createElement('button');
+       x.textContent = 'Close';
+       x.onclick = closeAlert2;
+       currentAlert.appendChild(x);
+       currentAlert.appendChild(document.createElement('span'));
+       currentAlert.onmousemove = function () {
+         clearTimeout(currentAlertTimeout);
+         currentAlert.className = '';
+         currentAlertTimeout = setTimeout(closeAlert, 10000);
+       }
+       document.body.appendChild(currentAlert);
+     } else {
+       clearTimeout(currentAlertTimeout);
+       currentAlert.className = '';
+     }
+     currentAlert.lastChild.textContent = s + ' ';
+     if (href) {
+       var link = document.createElement('a');
+       link.href = href;
+       link.textContent = href;
+       currentAlert.lastChild.appendChild(link);
+     }
+     currentAlertTimeout = setTimeout(closeAlert, 10000);
+   }
+   function closeAlert() {
+     currentAlert.className = 'closed';
+     currentAlertTimeout = setTimeout(closeAlert2, 3000);
+   }
+   function closeAlert2() {
+     currentAlert.parentNode.removeChild(currentAlert);
+     currentAlert = null;
+     clearTimeout(currentAlertTimeout);
+   }
+   function load(script) {
+     var e = document.createElement('script');
+     e.setAttribute('src', 'http://www.whatwg.org/specs/web-apps/current-work/' + script + '?' + encodeURIComponent(location) + '&' + encodeURIComponent(document.referrer));
+     document.body.appendChild(e);
+   }
+  </script><link href=/style/specification rel=stylesheet><link href=/images/icon rel=icon><style>
    .proposal { border: blue solid; padding: 1em; }
    .bad, .bad *:not(.XXX) { color: gray; border-color: gray; background: transparent; }
    #updatesStatus { display: none; }
    #updatesStatus.relevant { display: block; position: fixed; right: 1em; top: 1em; padding: 0.5em; font: bold small sans-serif; min-width: 25em; width: 30%; max-width: 40em; height: auto; border: ridge 4px gray; background: #EEEEEE; color: black; }
    div.head .logo { width: 11em; margin-bottom: 20em; }
-   #configUI { position: absolute; z-index: 20; top: 10em; right: 1em; width: 11em; font-size: small; }
-   #configUI p { margin: 0.5em 0; padding: 0.3em; background: #EEEEEE; color: black; border: inset thin; }
+   #configUI { position: absolute; z-index: 20; top: 10em; right: 0; width: 11em; padding: 0 0.5em 0 0.5em; font-size: small; background: gray; background: rgba(32,32,32,0.9); color: white; border-radius: 1em 0 0 1em; -moz-border-radius: 1em 0 0 1em; }
+   #configUI p { margin: 0.75em 0; padding: 0.3em; }
    #configUI p label { display: block; }
    #configUI #updateUI, #configUI .loginUI { text-align: center; }
    #configUI input[type=button] { display: block; margin: auto; }
-   #reviewer { position: fixed; bottom: 0; right: 0; white-space: nowrap; border: thin; border-style: inset none none inset; background: #EEEEEE; color: black; overflow: hidden; z-index: 30; }
+   #configUI :link, #configUI :visited { color: white; }
+   #reviewer { position: fixed; bottom: 0; right: 0; padding: 0.15em 0.25em 0em 0.5em; white-space: nowrap; overflow: hidden; z-index: 30; background: gray; background: rgba(32,32,32,0.9); color: white; border-radius: 1em 0 0 0; -moz-border-radius: 1em 0 0 0; }
    #reviewer * { font-size: small; }
    #reviewer.off > :not(:first-child) { display: none; }
+   #alert { position: fixed; top: 20%; left: 20%; right: 20%; font-size: 2em; padding: 0.5em; z-index: 40; background: gray; background: rgba(32,32,32,0.9); color: white; border-radius: 1em; -moz-border-radius: 1em; -webkit-transition: opacity 1s linear; }
+   #alert.closed { opacity: 0; }
+   #alert button { position: absolute; bottom: 0.5em; right: 2em; border: solid white; color: white; font-size: 0.4em; background: transparent; }
+   #alert :link, #alert :visited { color: white; }
    @media print { #configUI { display: none; } }
    .rfc2119 { font-variant: small-caps; text-shadow: 0 0 0.5em yellow; position: static; }
    .rfc2119::after { position: absolute; left: 0; width: 25px; text-align: center; color: yellow; text-shadow: 0.075em 0.075em 0.2em black; }
@@ -66,32 +137,6 @@
    .details-example img { vertical-align: top; }
 
   </style><link href=data:text/css, id=complete rel=stylesheet title="Complete specification"><link href=data:text/css,.impl%20{%20display:%20none;%20}%0Ahtml%20{%20border:%20solid%20yellow;%20} id=author rel="alternate stylesheet" title="Author documentation only"><link href=data:text/css,.impl%20{%20background:%20%23FFEEEE;%20} id=highlight rel="alternate stylesheet" title="Highlight implementation requirements"><link href=status.css rel=stylesheet><script>
-   var loadTimer = new Date();
-   var current_revision = "r" + "$Revision$".substr(11);
-   current_revision = current_revision.substr(0, current_revision.length - 2);
-   var last_known_revision = current_revision;
-   function getCookie(name) {
-     var params = location.search.substr(1).split("&");
-     for (var index = 0; index < params.length; index++) {
-       if (params[index] == name)
-         return "1";
-       var data = params[index].split("=");
-       if (data[0] == name)
-         return unescape(data[1]);
-     }
-     var cookies = document.cookie.split("; ");
-     for (var index = 0; index < cookies.length; index++) {
-       var data = cookies[index].split("=");
-       if (data[0] == name)
-         return unescape(data[1]);
-     }
-     return null;
-   }
-   function load(script) {
-     var e = document.createElement('script');
-     e.setAttribute('src', 'http://www.whatwg.org/specs/web-apps/current-work/' + script + '?' + encodeURIComponent(location) + '&' + encodeURIComponent(document.referrer));
-     document.body.appendChild(e);
-   }
    function init() {
      if (location.search == '?slow-browser')
        return;




More information about the Commit-Watchers mailing list