/* copyright 2003-2004 by csant --------------------------------------------- */
/* this is the main css file ------------------------------------------------ */


/* html ----------------------------------------------------------------------*/

html {
  color: #020101;
  background-color: #fffff0;
}

/* body ----------------------------------------------------------------------*/

body {
  font-family: Georgia, "Palatino Linotype", "Times New Roman", Times, serif;
  font-size: 100%;
  line-height: 1.5em;
  padding: 5%;
  text-align: justify;
}

/* elements ----------------------------------------------------------------- */

h1 {
  font-size: 300%;
  text-align: right;
  color: #fffff0;
  background-color: #000444;
  padding: 3%;
}
  h1+p {
    font-weight: bold;
  }

h2 {
  color: #020101;
  background-color: #ddd;
  padding: 2% 1%;
}

h3 {
  color: #020101;
  background-color: #eee;
  padding: 1%;
}

p {
  margin: 2em 6em;
}

samp {
  font-family: "Trebuchet MS", sans-serif;
  font-weight: 600;
  color: #000444;
  background-color: inherit;
}

ul {
  list-style: disc;
  margin: 2em 6em;
}
  ul ul {
    margin: 0em 2em;
  }

dt {
  color: #020101;
  background-color: #f0f0f0;
  font-weight: bold;
  padding: 1%;
}

dd {
  margin: 1em 6em;
}

blockquote {
  border: 2px solid #000444;
  border-left-width: 10px;
  font-size: 90%;
  padding: 2%;
  margin: 2em 6em;
}

/* hyperlinks --------------------------------------------------------------- */

a {
  font-weight: bold;
  letter-spacing: 0em;
}
  a:hover {
    text-decoration: none;
  }
    a[rel="external"]:hover {
      color: #ffd;
      background-color: #020101;
    }
.a-ToC {
  text-align: right;
  font-size: 90%;
}

/* special effects ---------------------------------------------------------- */

h2[id]:hover::after, h3[id]:hover::after, dt[id]:hover::after {
  content: "#"attr(id);
  font-size: 1em;
  color: #aaa;
  background-color: inherit;
  position: absolute;
  right: 6%;
}

blockquote::before {
  content: "Quoted from URL: "attr(cite);
  color: #000444;
  background-color: inherit;
  font-size: 80%;
  font-weight: bold;
  letter-spacing: 0em;
}

h1::after {
  content: "\2026";
}

abbr[title]:hover {
  cursor: help;
}

@media projection {
  h2, h3, dl {
    page-break-before: always;
  }
    h2+h3, h3+dl {
      page-break-before: avoid;
    }
}