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