body {
  background: #ffffff;
}
body, dl, dd, dt, ul, ol, p, th, td {
  text-decoration: none; text-align: justify;
  font-family: Verdana, sans-serif;
  font-size: 12pt; font-style: normal;
  color: #000055;
}
h1 {
  font-family: Ladida, 'Lucida Blackletter', sans-serif;
  font-size: 32pt; font-style: normal;
}
h2 {
  font-family: Ladida, 'Lucida Blackletter', sans-serif;
  font-size: 28pt; font-style: normal;
  color: #ffa500;
}
h3 {
  font-family: MagicMedieval, sans-serif;
  font-size: 18pt; font-style: normal;
}
code, pre {
  font-family: 'Courier New', monospace;
  font-size: 11pt;
}
dt {
  font-weight: demi-bold;
  color: #000085;
}

a, a:link, a:visited, a:active {
  text-decoration: none; color: #990000;
}
a:hover {
  text-decoration: underline; color: #0000bf;
}

table.main {
  background: #ffffff;
}
th.heading {
  text-align: center;
  background: #000055; color: #d0d0d0;
}
td.contents {
  font-family: Verdana, sans-serif;
  background: #000055; color: #d0d0d0;
  list-style: none;
}
a.contents, a:link.contents, a:visited.contents, a:active.contents {
  text-decoration: none; color: #ffa500;
}
a:hover.contents {
  text-decoration: underline; color: #c1700d;
}

td.page {
  background: #ffffff;
}

p.intro {
  font-family: Papyrus, Verdana, sans-serif;
  font-size: 14pt; font-style: normal;
  color: #000055;
}

p.def {
  font-family: Papyrus, MagicMedieval, serif;
  font-size: 12pt; font-style: italic;
  color: #000055;
}

table.class {
  border: thin solid #000055;
}
table.class, table.class td {
  font-family: Verdana, serif; text-align: center;
  font-size: 10pt;
  background: #ffffff;
}
table.class th {
  font-family: Verdana, serif; text-align: center;
  font-size: 10pt;
  background: #64AABE;
}
table.class th.topleft {
  border-bottom: thin solid #000055;
  border-right: thin solid #000055;
}
table.class th.top {
  border-bottom: thin solid #000055;
}
table.class th.left {
  border-right: thin solid #000055;
}
table.class td.double {
  background: #64BE64;
}

table.prime {
  background: #ffffff;
}
table.prime th {
  font-family: MagicMedieval, Verdana, serif;
  font-size: 13pt;
  font-weight: bold;
}
table.prime td {
  font-family: MagicMedieval, Verdana, serif;
  font-size: 13pt;
}

table.slist, table.slist td, table.slist td.1of2, table.slist th {
  font-family: Verdana, serif; text-align: left;
  font-size: 10pt;
  background: #ffffff;
}
table.slist {
  border-left: 1px solid #000055;
  border-right: 1px solid #000055;
}
table.slist td {
  border-bottom: 1px solid #000055;
}
table.slist td.1of2 {
  border-bottom: 1px none;
}
table.slist th {
  font-size: 12pt; font-weight: bold;
  background: #64AABE;
  border-top: 1px solid #000055;
  border-bottom: 1px solid #000055;
}