+button {
+ border-radius: 5px;
+ border: none;
+}
div#data {
position: absolute;
top: 0%;
div#data {
position: absolute;
top: 0%;
height: 50%;
overflow: auto;
}
height: 50%;
overflow: auto;
}
position: absolute;
top: 50%;
left: 0%;
width: 100%;
height: 50%;
position: absolute;
top: 50%;
left: 0%;
width: 100%;
height: 50%;
+ overflow: hidden;
+}
+div#svg {
+ position: absolute;
+ left:0%;
+ right:0%;
+ top:10%;
+ bottom:0%;
div#automata {
white-space: pre;
overflow: auto;
div#automata {
white-space: pre;
overflow: auto;