#DFA_noTrapStateCON {
  height: 130px;
}