html {
  font-family: "Lucida Grande", Verdana, Arial, sans-serif;
  font-size: 62.5%;
}

body {
  font-size: 1.2em;
  margin: 16px 16px 0px 16px;
  background: white;
}

h1, h2 {
  font-family: "Gill Sans", Verdana, Arial, sans-serif;
  color: #333;
  margin: 0;
  padding: 1.0em 0 0.15em 0;
}

h1 { font-size: 1.5em; border-bottom: 1px solid #ddd; }
h2 { font-size: 1.3em; }

span.subtext {
  font-size: 0.9em;
}

div.error {
  border: solid red 1px;
  margin: 20px;
  padding: 10px;
}

div.box {
  border: solid #ddd 1px;
  margin: 20px;
  padding: 10px;
}

div.status {
  border: solid #d8d 1px;
  margin: 20px;
  padding: 10px;
}

div.status span.line_error {
  display: block;
  color: #C00;
}

div.status span.line_info {
  display: block;
  color: #0C0;
}

pre {
  font-size: 1.2em;
}
