#historyHeader {
  padding: 0px;
  margin: 8px 8px 4px 8px;
}

div.history {
  margin: 8px 8px 8px 8px;
}

table.historyTable th {
  font-family: arial, helvetica, sans-serif;
  font-size: 13px;
  text-align: left;
  padding: 4px 4px 4px 4px;
  background-color: #dddddd;
}

div.headerNav {
  margin: 12px 8px 12px 8px;
  padding-left: 16px;
}

div.navHome {
  float: left;
  margin-left: 4px;
  height: 24px;
  font-size: 12px;
}