A.external {
  target-name: new;
  target-new: window;
}

DIV.main {
  margin-left: 45px;
}

DIV#freediv {
  border-style: solid none;
  border-width: 1px;
  height: 30em;
  overflow-x: hidden;
  overflow-y: auto;
}

DIV.toc {
  margin-left: 45px;
}

DIV.abs {
  margin-left: 45px;
}

DIV.full {
  margin-left: 45px;
}

DIV.topnav {
  margin-left: 45px;
  text-align: center;
}

DIV.footer {
  margin-left: 45px;
}

SPAN.boxed {
  padding: 2px;
  border-width: thin;
  border-style: solid;
}

P.scheme {
  margin-top: 0;
  margin-bottom: 1.5em;
  font-weight: bold;
  text-align: center;
}

P + P.scheme {
  margin-top: -0.5em;
}

TR.freelist {
  font-size: 0.95em;
}