[html5] r1996 - [e] (0) Fix CSS properly; make debugging this script easier.

[whatwg at whatwg.org]

Author: ianh
Date: 2008-08-04 19:47:35 -0700 (Mon, 04 Aug 2008)
New Revision: 1996

Modified:
   header-whatwg
   index
Log:
[e] (0) Fix CSS properly; make debugging this script easier.

Modified: header-whatwg
===================================================================
--- header-whatwg	2008-08-05 02:30:54 UTC (rev 1995)
+++ header-whatwg	2008-08-05 02:47:35 UTC (rev 1996)
@@ -12,7 +12,7 @@
    .bad { color: gray; }
    table.matrix, table.matrix td { border: none; text-align: right; }
    table.matrix { margin-left: 2em; }
-   #updatesStatus.relevant { position: fixed; right: 1em; left: 1em; padding: 0.5em; font: bold normal sans-serif; width: 40%; height: auto; border: ridge 4px gray; background: #EEEEEE; color: black; }
+   #updatesStatus.relevant { 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; }
   </style>
   <link rel="stylesheet" href="status.css">
   <script src="status.js"></script>
@@ -125,6 +125,8 @@
        clearInterval(updater);
      if (!updater && on)
        updater = setInterval(doUpdate, 30000);
+     if (on)
+       doUpdate();
    }
   </script>
 

Modified: index
===================================================================
--- index	2008-08-05 02:30:54 UTC (rev 1995)
+++ index	2008-08-05 02:47:35 UTC (rev 1996)
@@ -13,7 +13,7 @@
    .bad { color: gray; }
    table.matrix, table.matrix td { border: none; text-align: right; }
    table.matrix { margin-left: 2em; }
-   #updatesStatus.relevant { position: fixed; right: 1em; left: 1em; padding: 0.5em; font: bold normal sans-serif; width: 40%; height: auto; border: ridge 4px gray; background: #EEEEEE; color: black; }
+   #updatesStatus.relevant { 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; }
   </style>
   <link href=status.css rel=stylesheet>
   <script src=status.js></script>
@@ -165,6 +165,8 @@
        clearInterval(updater);
      if (!updater && on)
        updater = setInterval(doUpdate, 30000);
+     if (on)
+       doUpdate();
    }
   </script>