X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tests%2Ftrace%2Ftrace.css;h=effe42e5fc9add214f319e6cef27f673336a1a5a;hp=1cd40ab7913584a8005702919b46069816e3f385;hb=20ef25a27a326b250ae7f32997fa6d249a6b1751;hpb=a601c67e92d85f7096db693e4fde86950be598c6

diff --git a/tests/trace/trace.css b/tests/trace/trace.css
index 1cd40ab..effe42e 100644
--- a/tests/trace/trace.css
+++ b/tests/trace/trace.css
@@ -1,9 +1,9 @@
 div#data {
     position: absolute;
-    top: 0%;
+    top: 50%;
     left: 0%;
     width: 30%;
-    height: 100%;
+    height: 50%;
     overflow: auto;
 }
 div#svg {
@@ -14,3 +14,13 @@ div#svg {
     height: 100%;
     overflow: auto;
 }
+
+div#automata {
+    white-space: pre;
+    overflow: auto;
+    position: absolute;
+    width: 30%;
+    top: 0%;
+    left: 0%;
+    height: 50%;
+}
\ No newline at end of file