div#data {
    position: absolute;
    top: 0%;
    left: 50%;
    width: 50%;
    height: 50%;
    overflow: auto;
}
div#svg {
    position: absolute;
    top: 50%;
    left: 0%;
    width: 100%;
    height: 50%;
    overflow: auto;
}

div#automata {
    white-space: pre;
    overflow: auto;
    position: absolute;
    width: 50%;
    top: 0%;
    left: 0%;
    height: 50%;
}
@-webkit-keyframes fadein {
    from { fill-opacity: 0; }
    to { fill-opacity: 1; }
}

@-moz-keyframes fadein {
    from { fill-opacity: 0; }
    to { fill-opacity: 1; }
}

@keyframes fadein {
    from { fill-opacity: 0; }
    to { fill-opacity: 1; }
}

.blink {
    -webkit-animation: fadein 1.2s ease-in alternate infinite;
    -moz-animation: fadein 1.2s ease-in alternate infinite;
    animation: fadein 1.2s ease-in alternate infinite;
}