#head, #side {
  display: none;
}
p {
  font-family: Arial, Helvetica, sans-serif;
}
h1, h2, h3, h4 {
  font-family: Georgia, "Times New Roman", serif;
  color: #258029;
}
h1, .author, .date {
  text-align: center;
}
h3 {
  font-style: italic;
}
em.strong {
  font-weight: bold;
}
pre {
  border: 1px solid #333;
  padding: 0.5em;
  background-color: #f0fff0;
}
#cont a[href]:after {
  content: " ( " attr(href) ") ";
}
#foot {
  text-align: center;
  font-size: 80%;
  font-style: italic;
}