body {
  background: #d9c191;
}
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: #4f1f12;
}
h1 {
  font-family: Ladida, 'Lucida Blackletter', sans-serif;
  font-size: 32pt; font-style: normal;
  color: #cf9830;
}
h2 {
  font-family: Ladida, 'Lucida Blackletter', sans-serif;
  font-size: 28pt; font-style: normal;
  color: #d9c191;
}
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: #600000;
}

a, a:link, a:visited, a:active {
  text-decoration: none; color: #ba0c07;
}
a:hover {
  text-decoration: underline; color: #9f6820;
}

table.main {
  background: #d69452;
}
th.heading {
  text-align: center;
  background: #2f120a; color: #d0d0d0;
}
td.contents {
  font-family: Verdana, sans-serif;
  background: #2f120a; 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: #d9c191;
}

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

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

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;
}