#NFA2DFATraceCON {
    height: 500px;
    width: 1000px;
}