X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftrace_css.ml.str;fp=src%2Ftrace_css.ml.str;h=7d4071841d7bc6754c5bcaad6b819f8b2403bb11;hp=00fc9185a81c053b528837c029d3962214f8bd5b;hb=a089738aa464521c0ae79944eb00fc147cc37ac9;hpb=22f564fb392fd71207e19cc862c0a18c34d1c2c0

diff --git a/src/trace_css.ml.str b/src/trace_css.ml.str
index 00fc918..7d40718 100644
--- 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;