body {
  font-family: Gill Sans, sans-serif;
  font-size:11pt;
}

a {
  text-decoration: none;
  color: #2244BB;
}
a:hover {
  text-decoration: underline;
}

p#description {
  max-width: 600px;
}

a.pdf {
  padding-right: 15px;
  margin-right: 5px;
  background-repeat: no-repeat;
  background-position: right center;
  background-position-y: top;
  background-image: url(imgs/pdf.png)
}

ul {
  list-style-type: none;
}

pre {
  font-family: monospace;
  font-size:10pt;
}