From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 16 Mar 2021 21:26:58 +0000 (+0000)
Subject: clock: wip svg, wip
X-Git-Tag: otter-0.5.0~682
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=182b676675e22bc39c54aa4593769acd864e37cf;p=otter.git

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 11532a95..94eca72a 100644
--- 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>