h2 {
  font-size: 1.7em;
}

h3 {
  font-family: "Times New Roman", times, serif;
  font-size: 1.4em;
}

h4 {
  font-family: "Times New Roman", times, serif;
  font-style: italic;
  font-size: 1.1em;
}
h5 {
  font-size: 1em;
}

div.day {
  margin-top: 0.3em; margin-left: 1em;
  padding:0.3em;
  border: double #c0c0c0 3px;
  border-right: double #808080 5px;
  border-bottom: double #808080 5px;
  margin-left: 0em;
/*  color: black; background-color: #e0fff8;*/
  color: black; background-color: #f8f8f8;
  border-radius: 10px;
  -moz-border-radius: 10px;
}

div.calendar {
  font-family: "Arial", helvetica, sans-serif;
}

table.calendar {
  width: 21em;
}

table.calendar TD {
  width: 3em;
  text-align: center;
}

ul.monthindex {
}

strong.monthindex {
}

div.code {
}

div.version {
  text-align: right;
}

ul.schedule {
}

div.day p {
  text-indent: -0.5em;
  margin-left: 2em;
}

/*
div.day p:first-letter {
}
*/

h4 a, h4 a:visited {
  color: #806000;
  background-color: transparent;
  text-decoration: none;
}

h5 a, h5 a:visited {
  color: #806000;
  background-color: transparent;
  text-decoration: none;
}

blockquote.quote {
  padding-left: 1em;
  border-left: solid black 2pt;
}

img {
  vertical-align: top;
}

/*
div.index, div.antennae {
  color: black;
  background-color: transparent;
  padding: 0px;
  margin: 0px;
}

div.index hr {
  color: black;
  background-color: #000000;
  padding: 0px;
  margin: 0px;
}
div.antennae br {
  display: none;
  color: black;
  background-color: #000000;
  border: solid 1px white;
  padding: 0px;
  margin: 0px;
}

div.index a, div.antennae a {
  color: black;
  background-color: #80ffc0;
  padding: 0.2em;
  border: solid 1px white;
  margin: 0px;
}

div.index a:hover, div.antennae a:hover {
  color: white;
  background-color: #808080;
}

div.index a:visited, div.antennae a:visited {
  color: #008000;
}
*/