html5/spec-author-view/tools preprocess.xsl,1.23,1.24

Update of /sources/public/html5/spec-author-view/tools
In directory hutz:/tmp/cvs-serv14393/tools

Modified Files:
	preprocess.xsl 
Log Message:
updated

Index: preprocess.xsl
===================================================================
RCS file: /sources/public/html5/spec-author-view/tools/preprocess.xsl,v
retrieving revision 1.23
retrieving revision 1.24
diff -u -d -r1.23 -r1.24
--- preprocess.xsl	8 May 2011 14:56:46 -0000	1.23
+++ preprocess.xsl	8 May 2011 15:48:47 -0000	1.24
@@ -13,9 +13,38 @@
   </xsl:template>
   <xsl:template match="*[@id = 'head']">
     <xsl:copy-of select="."/>
-<div id="jumpIndexA-button" role="button" aria-haspopup="true"
-tabindex="0">jump<div class="jumpIndexA" style="position:
-relative; top: 500px; left: 500px;"><p><a href="a.html">a</a> <a
+    <div id="jumpIndexA-button" role="button" aria-haspopup="true" tabindex="0"
+      style="
+      cursor: pointer;
+      font-size: 13px;
+      position: fixed;
+      bottom: 0;
+      right: 8px;
+      padding: 0.0em 0.45em .2em 0.45em;
+      z-index: 30; 
+      background: rgba(0,90,156,0.7);
+      color: white;
+      border-radius: .4em .4em 0 0;
+      -moz-border-radius: .4em .4em 0 0;
+      "
+      >jump<div class="jumpIndexA" style="
+        display: none !important; position: relative; top: 500px; left:
+        500px;   font-size: 16px;
+        text-align: right;
+        height: auto;
+        width: 27em;
+        line-height: 1.3em;
+        padding: .65em;
+        font-family: sans-serif;
+        background: rgba(0,90,156,0.9);
+        color: white;
+        -moz-border-radius: 8px;
+        border-radius: 8px;
+        -webkit-box-shadow: 4px 4px 4px #888;
+        -moz-box-shadow: 4px 4px 4px #888;
+        box-shadow: 4px 4px 4px #888;
+        position: relative; top: 500px; left: 500px;
+        "><p><a href="a.html">a</a> <a
 href="abbr.html">abbr</a> <a href="address.html">address</a> <a
 href="area.html">area</a> <a href="article.html">article</a> <a
 href="aside.html">aside</a> <a href="audio.html">audio</a> </p><p><a

Received on Sunday, 8 May 2011 15:48:50 UTC