#AutomataExCON {
  height: 100px;
}