#Proof1NonRegularCON .final {
  border: 3px double;
}

#Proof1NonRegularCON {
  height: 460px;
}