@import url('https://fonts.googleapis.com/css?family=EB Garamond');
body {
  margin-top: 100px;
  padding: 20px;
  font-family: "EB Garamond";
  font-size: 18px;
}
select {
  font-family: "EB Garamond";
  font-size: 18px;
  font-weight: bold;
}
pre {
  font-size: 18px;
}
.indexTable, .msgArchiveTable {
  background-color: #ddd;
}
.indexTable td, .msgArchiveTable td {
  margin: 1px;
  padding: 3px 5px;
  font-weight: bold;
  background-color: #fff;
}
a:link, a:hover, a:active {
  color: #00f;
}
a:visited {
  color: #03a;
}
a.monthLink:link,
a.monthLink:hover,
a.monthLink:active,
a.monthLink:visited,
a.returnLink:link,
a.returnLink:hover,
a.returnLink:active,
a.returnLink:visited {
  font-weight: bold;
  color: #c00;
}