body {
  margin: 0px 5em;
  text-align: justify;
}

#header, #footer, #footnotes {
  position: relative;
  left: -3em;
  margin-right: -3em;
}

body p {
  line-height: 1.5em;
}

h2 {
  position: relative;

  border-bottom: 2px solid #babdb6;
  left: -2em;

  margin-right: -2em;
}

h3 {
  border-bottom: 1px solid #babdb6;
}

h2, h3, h4 {
  margin-bottom: 0.5em;
}

dt {
  font-weight: bold;
}
dd > p:first-child {
  margin-top: 0;
}

tt {
  background-color: #eeeeec;
  color: #000055;
}

#author {
  font-size: 1.1em;
}

.listingblock {
  background-color: #eeeeec;
  padding: 0.5em;
}

#gnuinside {
  position: absolute;
  display:  block;

  top:    0px;
  right:  0px;
  width:  50px;
  height: 50px;
}

#copyright {
  text-align: center;
  margin-top: -1.4em;
  font-size:  small;
}

.footnote {
  font-size: small;
}

.exampleblock {
  margin-left: 2em;
  padding-left: 1em;
  border-left: 5px solid #eeeeec;
}

#footer {
  border-top: 2px solid #babdb6;
  padding-top: 0.5em;

  font-size: small;
}