/* Default stylesheet kept separate so schools/classes can restyle without
   touching base-style.css. Intentionally minimal. */
