body {
  font-size:14px;
  margin:0;
  font-family:Arial,Helvetica,'Liberation Sans',FreeSans,sans-serif;
}

div.top, div.bottom {
  background: #aaa;
  color: #000;
  font-weight: normal;
  font-style: italic;
  font-size: 14px;
  border-top: 6px dashed #fff;
  border-bottom: 6px dashed #fff;
  padding: 4px 7px 4px 7px;
  text-align: right;
}

div.top {
  margin: 8px 0 0 50%;
}

div.bottom {
  margin: 12px 50% 8px 0;
  color: #fff;
}

div.rest {
  margin: 0 16px 0 16px;
  padding-bottom: 30px;
}

body p, h1, h2, h3, h4, img {
  margin-left: 16px;
  margin-right: 16px;
}

p, ul, ol, table, pre {
}

h1, h2, h3, h4, h5, h6 {
  color: #333;
  font-weight: normal;
}

h1 {
  margin-top: 1em;
  margin-bottom: 0;
  padding-bottom: 0;
}

h2 {
  font-size: 140%;
  margin-top: 25px;
}

h1 + h2 {
  margin-top: 2px;
}

p.central {
}

p.update {
  text-align: right;
  font-size: 60%;
  margin-right: 1em;
}

p.attribution {
  text-align: right;
}

p.headmatter {
  font-style: italic;
  color: #333;
}

p.headleft {
  text-align: left;
  margin-top: 1px;
}

p.smallnote {
  color: #888;
  font-size: 75%;
  margin: 2em 33% 00 33%;
}

p.smallnote a:link {
  color: #339;
}

p.nextarrow {
  font-size: 200%;
  text-align: center;
}

p.slidehead {
  color: #000;
  text-align: right;
  font-size: small;
  font-weight: bold;
  margin-top: 100%;
}

p.leftinset {
  color: #333;
  width: 25%;
  float: left;
  margin-right: 2em;
  font-size: 120%;
}

p.rightinset {
  color: #333;
  width: 25%;
  float: right;
  margin-left: 2em;
  font-size: 120%;
}

p.endmark {
  text-align: center;
  margin-bottom: 110%;
}

img {
    border: none;
}

img.left {
  border-left: 3px solid #333;
  margin-right: 15px;
  float: left;
}

img.if {
border: thin solid #333;
}

div.center {
margin-left: auto;
margin-right: auto;
}

li + li {
margin-top: .5em;
}

a:link {
  text-decoration: none
}

a:visited {
  color: #22a;
  text-decoration: none
}

a:active {
  color: #f90;
  background: #000;
  text-decoration: none
}

a:hover {
  color: #f90;
  background: #000;
  text-decoration: none
}