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

diff --git a/src/trace_css.ml.str b/src/trace_css.ml.str
index 513b239..7d40718 100644
--- a/src/trace_css.ml.str
+++ b/src/trace_css.ml.str
@@ -1,3 +1,8 @@
+/* -*-CSS-*- */
+button {
+    border-radius: 5px;
+    border: none;
+}
 div#data {
     position: absolute;
     top: 0%;
@@ -6,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;