body {
  color: #000000;
  background-color: #fff;
  padding: 0px 10px 30px 10px;
  
  font-family: verdana, arial, 'Bitstream Vera Sans', helvetica, sans-serif;
  font-size: 13px;
  font-weight: normal;
}

h2 {
  border-left: 8px solid silver;
  padding-left: 5px;
}

h3 {
  margin-left: 5px;
}

div.section {
  margin-top: 30px;
}

div.paragraph, pre {
  margin: 0px 15px 0px 15px;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

ul {
  margin: 0 0 0 1.5em;
  padding: 0;
}

ol {
  margin: 0 0 0 2em;
  padding: 0;
}

ul.level1, ol.level1 {
  margin-left: 40px;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

img {
  margin-top: 5px;
  margin-bottom: 5px;
  border: none;
}

blockquote {
  margin-top: 1em;
  margin-left: 30px;
  margin-right: 50px;
  padding: 5px;
  border: 1px solid silver;
}

pre {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  border: 1px solid gray;
}

div.file {
  margin: 0px 10px;
  padding-top: 3px;
  padding-bottom: 3px;
}

/* Heading anchors */
a.anchor {
  vertical-align: 10%;
}

.anchor:link, .anchor:visited {
 border: none;
 color: #d7d7d7;
 font-size: .8em;
 text-decoration: none;
}
* > .anchor:link, * > .anchor:visited {
 visibility: hidden;
}
h1:hover .anchor, h2:hover .anchor, h3:hover .anchor,
h4:hover .anchor, h5:hover .anchor, h6:hover .anchor {
 visibility: visible;
}

.sidebar {
  position: absolute;
  top: 10px;
  right: 10px;
}

.quote-from {
  font-style: italic;
  white-space: nowrap;
}

a.external {
  background: url(external-link.png) right center no-repeat;
  padding-right: 14px;
}