#DFA_withTrapStateCON {
  height: 180px;
}