body {
  font-family: 'Garamond', 'Palatino Linotype', 'Book Antiqua', Palatino, serif;
  font-size: 16px;
  font-weight: normal;
  font-style: normal;
  font-variant: normal;
  margin: 2em 4em 6em 4em;
  background: #f5f5f5;
  color: #000000;
}
pre, code {
  font-family: 'Inconsolata', 'Monaco', 'Consolas', 'DejaVu Sans Mono', monospace;
  font-size: 0.8em;
}
pre {
  margin: 0.75em -0.75em 0.75em 1.5em;
  padding: 0.75em;
  overflow-x: auto;
  display: block;
  line-height: 1.5;
}
code {
  display: inline;
}
pre i, code i {
  font-style: normal;
  color: #606060;
}
abbr {
  font-variant: small-caps;
  text-transform: lowercase;
}
h1 {
  font-weight: normal;
  font-size: 2em;
  font-variant: small-caps;
}
h2 {
  font-weight: normal;
  font-size: 1.2em;
  font-variant: small-caps;
  margin-top: 2em;
}
h3 {
  font-weight: normal;
  font-size: 1em;
  font-style: italic;
  margin-top: 2em;
}
ul {
  list-style-type: square;
}
a:link, a:visited, a:hover, a:active {
  color: #0000c0;
  text-decoration: none;
}
.footref {
  font-size: x-small;
  vertical-align: super;
}
.footnote {
  font-size: x-small;
  vertical-align: top;
}
.footnotenumber {
  font-size: x-small;
  vertical-align: top;
}
.booktitle {
}
.papertitle {
  font-weight: normal;
  font-size: 1.2em;
  font-variant: small-caps;
}
.papersection {
  font-size: 1.2em;
  font-variant: small-caps;
}
.biblio {
  opacity: 0.66;
}