clock: wip svg, wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/server dummy - alice - Otter.html b/server dummy - alice - Otter.html
index 11532a95446ab38876130a7dda79458e5c77d64f..94eca72a820c6046f2229ed80e9eabe10b46f7d2 100644 (file)
--- a/server dummy - alice - Otter.html
+++ b/server dummy - alice - Otter.html
@@ -303,11 +303,11 @@ g
 </g></g><path id="surround2.9" d="M 0 4.94923 a 4.94923 4.94923 0 1 0 0 -9.89846 a 4.94923 4.94923 0 1 0 0 9.89846 z"></path></defs>
       <defs id="defs1.9"><g id="piece1.9" transform="" data-dragraise="10">
 
-<g transform="translate(-25,-10)">
+<g transform="translate(-20,-7)">
 
 
-<rect y="0" fill="yellow" width="50" height="10"/>
-<rect y="10" fill="red" width="50" height="10"/>
+<rect y="0" fill="yellow" width="40" height="7"/>
+<rect y="7" fill="red" width="40" height="7"/>
 <!-- 
     clock running                    yellow         >   &#x25b6;
     clock would run but held         yellow         =   &#x2016;
@@ -317,14 +317,14 @@ g
     flag                             white / red    F   &#x2691;
     player missing                   pink               space
 -->
-<rect fill="none" stroke="black" width="50" height="20"></rect>
+<rect fill="none" stroke="black" width="40" height="14"></rect>
 <clipPath id="clockclip42">
-        <rect width="50" height="20"></rect>
+        <rect width="40" height="14"></rect>
 </clipPath>
-<text x="1" y="8" font-family="monospace" font-size="8">999&#x25cb;99</text>
-<text x="31" y="8" clip-path="url(#clockclip42)" font-size="6">Slartibartfast</text>
-<text x="1" y="18" font-family="monospace" fill="yellow" font-size="8">999&#x2691;99</text>
-<text x="31" y="18" background="blue" fill="yellow" clip-path="url(#clockclip42)" font-size="6">Diz</text>
+<text x="1" y="6" font-family="monospace" font-size="6">999&#x25cb;99</text>
+<text x="23" y="6" clip-path="url(#clockclip42)" font-size="4">Slartibartfast</text>
+<text x="1" y="13" font-family="monospace" fill="yellow" font-size="6">999&#x2691;99</text>
+<text x="23" y="13" background="blue" fill="yellow" clip-path="url(#clockclip42)" font-size="4">Diz</text>
 
 </g>