div#data {
position: absolute;
- top: 0%;
+ top: 50%;
left: 0%;
width: 30%;
- height: 100%;
+ height: 50%;
overflow: auto;
}
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