/***************************************************************************
 * General apparence of the document
 ***************************************************************************/

body {
  background: #D8D0A0;
  color: #000000;
  margin: 0;
}
body > div.body {
  background: #FFFFF4;
  border: solid 2px #808040;
  padding: 1ex 2ex;
  margin: 0 0.5em 0 8em;
}

/***************************************************************************
 * Navigation, table of contents, links
 ***************************************************************************/

body > div.navigation,
body > div.footer {
  text-align: right;
  font-size: 90%;
  font-family: sans-serif;
  padding: 0.5ex;
  margin: 0 1em 0 0;
}
body > div.navigation > a,
body > div.table_of_contents a,
body > div.links a {
  color: #606030;
}
body > div.navigation > a {
  margin-left: 0.5em;
  padding-left: 0.5em;
  border-left: solid 2px #606030;
}
body > div.footer > div.copyright {
  font-size: 90%;
}
body > div.table_of_contents,
body > div.links {
  font-family: sans-serif;
  width: 7.6em;
  padding: 0;
  margin: 0.5ex 0 0.5ex 0.4em;
  float: left;
  clear: left;
}
body > div.table_of_contents ul,
body > div.links ul {
  font-size: 85%;
  margin: 0;
  padding: 0;
  list-style: none;
}

/***************************************************************************
 * Titles and subtitles
 ***************************************************************************/

h1 {
  font-family: sans-serif;
  font-size: 240%;
  font-weight: bold;
  padding: 0;
  margin: 0.5ex;
}
h2 {
  font-family: sans-serif;
  font-size: 180%;
  font-weight: bold;
  padding: 0;
  margin: 0.5ex;
}
h3 {
  font-family: sans-serif;
  font-size: 140%;
  font-weight: bold;
  padding: 0;
  margin: 0.5ex;
}
h4 {
  font-family: sans-serif;
  font-size: 120%;
  font-weight: bold;
  padding: 0;
  margin: 0.5ex 1ex;
}
h5 {
  font-family: sans-serif;
  font-size: 110%;
  font-weight: bold;
  padding: 0;
  margin: 0.5ex 2ex;
}
h6 {
  font-family: sans-serif;
  font-size: 100%;
  font-weight: bold;
  padding: 0;
  margin: 0.5ex 3ex;
}

/***************************************************************************
 * Inline table of contents and tables
 ***************************************************************************/

div.body div.table_of_contents {
  font-family: sans-serif;
  margin-left: 3em;
  padding-left: 0.5em;
  border-left: solid 2px #808040;
}
div.body div.table_of_contents ul {
  list-style: none;
  margin: 0;
  padding: 0;
}
div.body div.table_of_contents ul ul {
  padding-left: 2em;
}

/***************************************************************************
 * Detail style
 ***************************************************************************/

p {
  text-align: justify;
  text-indent: 1em;
}
p.noindent {
  text-indent: 0;
}
a:link, a:visited {
  text-decoration: none;
}
a:hover:link, a:hover:visited {
  text-decoration: underline;
}

dt {
  font-weight: bold;
  margin-top: 0.7ex;
}

a.mail {
  font-family: sans-serif;
}

pre.pgp {
  margin: 0;
}

/***************************************************************************
 * Useful constructs
 ***************************************************************************/

.warning {
  border: solid 2px #FF0000;
  background: #FFC0C0;
  margin: 1ex 20%;
  padding: 0.5ex;
}

.center {
  text-align: center;
}

.two-columns {
  column-count: 2;
  column-rule: solid 1px black;
}