h1,h2,h3 {
  font-family:Liberation Serif,Times,Serif;
}
body {
  font-family:New Century Schoolbook,Liberation Serif,Times,Serif;
  max-width:90ex;
}
pre {
  margin-left:1ex;
}
p.date {
  color:gray;
}