body {
  text-align: justify;
  margin-right: 2em;
  margin-left: 2em;
}

a,
a[accesskey^="h"],
a[accesskey^="n"],
a[accesskey^="u"],
a[accesskey^="p"] {
  font-family: Verdana, Arial, helvetica, sans-serif;
  font-size: 12px;
  color: #003399;
}

a:active {
  color: #003399;
}

a:visited {
  color: #888888;
}

p {
  font-family: Verdana, Arial, sans-serif;
}

dt {
  font-family: Verdana, Arial, sans-serif;
  font-size: 12px;
}

p, dl, dt, dd, blockquote {
  color: #000000;
  margin-bottom: 3px;
  margin-top: 3px;
  padding-top: 0;
}

ol, ul, p {
  margin-top: 6px;
  margin-bottom: 6px;
}

p, blockquote {
  font-size: 90%;
}

p.releaseinfo {
  font-size: 100%;
  font-weight: bold;
  font-family: Verdana, Arial, helvetica, sans-serif;
  padding-top: 10px;
}

p.pubdate {
  font-size: 120%;
  font-weight: bold;
  font-family: Verdana, Arial, helvetica, sans-serif;
}

td {
  font-size: 80%;
}

td, th, span {
  color: #000000;
}

td[width^="40%"] {
  font-family: Verdana, Arial, helvetica, sans-serif;
  font-size: 12px;
  color: #003399;
}

table[summary^="Navigation header"] tbody tr th[colspan^="3"] {
  font-family: Verdana, Arial, helvetica, sans-serif;
}

blockquote {
  margin-right: 0;
}

h1, h2, h3, h4, h6 {
  color: #000000;
  font-weight: 500;
  margin-top: 0;
  padding-top: 14px;
  font-family: Verdana, Arial, helvetica, sans-serif;
  margin-bottom: 0;
}

h2.title {
  font-weight: 800;
  margin-bottom: 8px;
}

h2.subtitle {
  font-weight: 800;
  margin-bottom: 20px;
}

.firstname, .surname {
  font-size: 12px;
  font-family: Verdana, Arial, helvetica, sans-serif;
}

table {
  border-collapse: collapse;
  border-spacing: 0;
  border: 1px black;
  empty-cells: hide;
  margin: 10px 0 30px 50px;
  width: 90%;
}

div.table {
  margin: 30px 0 10px 0;
  border: 1px dashed gray;
  padding: 10px;
}

div .table-contents table {
  border: 1px solid black;
}

div.table > p.title {
  padding-left: 10px;
}

table[summary^="Navigation footer"] {
  border-collapse: collapse;
  border-spacing: 0;
  border: 1px black;
  empty-cells: hide;
  margin: 0;
  width: 100%;
}

table[summary^="Note"],
table[summary^="Warning"],
table[summary^="Tip"] {
  border-collapse: collapse;
  border-spacing: 0;
  border: 1px black;
  empty-cells: hide;
  margin: 10px 0 10px -20px;
  width: 100%;
}

td {
  padding: 4pt;
  font-family: Verdana, Arial, helvetica, sans-serif;
}

div.warning TD {
  text-align: justify;
}

h1 {
  font-size: 150%;
}

h2 {
  font-size: 110%;
}

h3 {
  font-size: 100%;
  font-weight: bold;
}

h4 {
  font-size: 90%;
  font-weight: bold;
}

h5 {
  font-size: 90%;
  font-style: italic;
}

h6 {
  font-size: 100%;
  font-style: italic;
}

tt {
  font-size: 110%;
  font-family: "Courier New", Courier, monospace;
  color: #000000;
}

.navheader, .navfooter {
  border: none;
}

div.navfooter table {
  border: 1px dashed gray;
  background-color: #cde48d;
}

pre {
  font-size: 110%;
  padding: 5px;
  border: 1px solid #CCCCCC;
  background-color: #f3f5e9;
}

ul, ol, li {
  list-style: disc;
}

hr {
  width: 100%;
  height: 1px;
  background-color: #CCCCCC;
  border-width: 0;
  padding: 0;
}

.variablelist {
  padding-top: 10px;
  padding-bottom: 10px;
  margin: 0;
}

.term {
  font-weight: bold;
}

.mediaobject {
  padding-top: 30px;
  padding-bottom: 30px;
}

.legalnotice {
  font-family: Verdana, Arial, helvetica, sans-serif;
  font-size: 12px;
  font-style: italic;
}

.sidebar {
  float: right;
  margin: 10px 0 10px 30px;
  padding: 10px 20px 20px 20px;
  width: 33%;
  border: 1px solid black;
  background-color: #F4F4F4;
  font-size: 14px;
}

.property {
  font-family: "Courier New", Courier, monospace;
}

a code {
  font-family: Verdana, Arial, monospace;
  font-size: 12px;
}

td code {
  font-size: 110%;
}

div.note {
  background: #ccff99 no-repeat 10px 10px;
  color: #4c5253;
  border: 1px solid #999900;
  margin-bottom: 1.5em;
  padding: 1em 1em 20px;
  font-family: Verdana, Arial, sans-serif;
}

div.tip {
  background: #999900 no-repeat 10px 10px;
  color: white;
  border: 1px solid #cc9900;
  margin-bottom: 1.5em;
  padding: 1em 1em 20px;
  font-family: Verdana, Arial, sans-serif;
}

div.important {
  background: #4a5d75 no-repeat 10px 10px;
  color: #ffffff;
  border: 1px solid #666666;
  margin-bottom: 1.5em;
  padding: 1em 1em 20px;
  font-family: Verdana, Arial, sans-serif;
}

div.caution {
  background: #e3a835 no-repeat 10px 10px;
  color: #533500;
  border: 1px solid #ab710a;
  margin-bottom: 1.5em;
  padding: 1em 1em 20px;
  font-family: Verdana, Arial, sans-serif;
}

div.warning {
  background: #7b1e1e no-repeat 10px 10px;
  color: white;
  border: 1px solid #65504e;
  margin-bottom: 1.5em;
  padding: 1em 1em 20px;
  font-family: Verdana, Arial, sans-serif;
}

div.calloutlist * td {
  text-align: justify;
  font-size: 100%;
}

.programlisting .interfacename,
.programlisting .literal,
.programlisting .classname {
  font-size: 95%;
}

.title .interfacename,
.title .literal,
.title .classname {
  font-size: 130%;
}

/* everything in a <lineannotation/> is displayed in a coloured, comment-like font */
.programlisting * .lineannotation,
.programlisting * .lineannotation * {
  color: green;
}

.question * p {
  font-size: 100%;
}

.answer * p {
  font-size: 100%;
}