Rewrite the HTML debugging output to generate an svg file directly instead going

[tatoo.git] / tests / trace / trace.css

diff --git a/tests/trace/trace.css b/tests/trace/trace.css
index 1cd40ab..effe42e 100644 (file)
--- 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