Cosmetic changes (whitespaces) and add comments at the top of the .str files to load...

[tatoo.git] / src / html_trace.ml

diff --git a/src/html_trace.ml b/src/html_trace.ml
index 58c1f68..0d4890e 100644 (file)
--- a/src/html_trace.ml
+++ b/src/html_trace.ml
@@ -168,14 +168,14 @@ var rounds = %i;\n"
   fprintf ohtml "%s"
     "</script>\n\
 <div id='svg'>\n
-   <svg id='svgimg' width='' height='' xmlns=\"http://www.w3.org/2000/svg\" version=\"1.1\">\n";
+   <svg id='svgimg' width='' height='' preserveAspectRatio='XMidYMid slice' xmlns=\"http://www.w3.org/2000/svg\" version=\"1.1\">\n";
   let maxw, maxh = loop ohtml (T.root tree) T.nil T.nil 50 50 in
   fprintf ohtml "</svg>\n</div><script type='text/javascript'>\n\
-window.onload = function () {\n
-    var svg = document.getElementById('svgimg');\n
-    svg.setAttribute('width', %i);\n
-    svg.setAttribute('height', %i);\n
-    activate('node0');\n
+window.onload = function () {\n\
+    var svg = document.getElementById('svgimg');\n\
+    svg.setAttribute('width', %i);\n\
+    svg.setAttribute('height', %i);\n\
+    activate('node0');\n\
 };\n
 </script></body></html>\n%!"
     maxw maxh;