/* Referees and Simulators: canvas sizes for the three widgets (the shared look is in ai-tutorial.css). */
#widget-sim-referee canvas { height: 330px; }
#widget-sim-javarandom canvas { height: 400px; }
#widget-sim-diff canvas { height: 400px; }
@media (max-width: 600px) {
  #widget-sim-referee canvas { height: 640px; }
  #widget-sim-javarandom canvas { height: 700px; }
  #widget-sim-diff canvas { height: 660px; }
}