#NFA2DFAEx2aCON {
  height: 250px;
}

#NFA2DFAEx2bCON {
  height: 240px;
}