Rewrite the HTML debugging output to generate an svg file directly instead going
[tatoo.git] / tests / trace / trace.css
1 div#data {
2     position: absolute;
3     top: 50%;
4     left: 0%;
5     width: 30%;
6     height: 50%;
7     overflow: auto;
8 }
9 div#svg {
10     position: absolute;
11     top: 0%;
12     left: 30%;
13     width: 70%;
14     height: 100%;
15     overflow: auto;
16 }
17
18 div#automata {
19     white-space: pre;
20     overflow: auto;
21     position: absolute;
22     width: 30%;
23     top: 0%;
24     left: 0%;
25     height: 50%;
26 }