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