/* Legacy stylesheet placeholder (original main.css unavailable on server).
   Mobile prototype styles are in mobile.css. */

body {
  margin: 0;
}