Refactor the tracing code, store the whole tree structure in a javascript array and...

[tatoo.git] / src / trace_css.ml.str

diff --git a/src/trace_css.ml.str b/src/trace_css.ml.str
index 00fc918..7d40718 100644 (file)
--- a/src/trace_css.ml.str
+++ b/src/trace_css.ml.str
@@ -1,4 +1,8 @@
 /* -*-CSS-*- */
+button {
+    border-radius: 5px;
+    border: none;
+}
 div#data {
     position: absolute;
     top: 0%;
@@ -7,15 +11,22 @@ div#data {
     height: 50%;
     overflow: auto;
 }
-div#svg {
+div#tree {
     position: absolute;
     top: 50%;
     left: 0%;
     width: 100%;
     height: 50%;
+    overflow: hidden;
+}
+div#svg {
+    position: absolute;
+    left:0%;
+    right:0%;
+    top:10%;
+    bottom:0%;
     overflow: auto;
 }
-
 div#automata {
     white-space: pre;
     overflow: auto;