s }
  span.roman { font-family:serif; font-weight:normal; }
  span.sansserif { font-family:sans-serif; font-weight:normal; }
body {
    margin-left: 6%;
    margin-right: 6%
}
h1, h2, h3, h4, h5, h6 {margin-left: -4%}

dl, h1, h2, h3, h4, h5, h6, ol, p, table, ul, body, figcaption {font-family: sans-serif}
code, pre {font-family: monospace; font-size: 110%}
var {
    font-family: sans-serif;
    font-style: italic
}

/* Class- and attibute based settings */
div.contents {}
div.float {
    border-bottom: 1px