h1 {
  font-size: 2em;
  font-family: serif;
  font-weight: normal;
  margin: 0.1em 0em 0.7em 0em;
  background-color: white;
  color: #993300
}

hr {
  border-width: 1px
}

.warning {
  color: #cc0000;
  font-weight: bold;
}

/* Plain full-width table for "spreadsheet" types of things */
table.big {
  border-style: outset;
  border-width: 1px
}
table.big th {
  border-style: outset;
  border-width: 1px;
  background-color: #000099;
  color: white;
  font-weight: bold
}
table.big td {
  border-style: inset;
  border-width: 1px;
  padding: 1px 2px
}