#NFA2DFAaCON {
    height: 150px;
  }

#NFA2DFAbCON {
    height: 150px;
  }