a {
  font-weight: bold;
  text-decoration: none;
}

a:link {
  color: #33a;
  background-color: transparent;
}

a:visited {
  color: #363;
  background-color: transparent;
}

a:hover, a:focus, a:active, a.title:hover, a.title:fucus, a.title:active,
a.menuitem:hover, a.menuitem:focus, a.menuitem:active  {
  color: #fff;
  background-color: #66a;
}

body {
  background: white;
  padding: 4px;
  margin: 10px 10px 10px 10px;
}

h1 {
  color: #000066;
}

a.title {
  color: #000066;
}

h2 {
  font-weight: normal;
  margin-top: 40px;
  border-style: solid;
  border-width: 0px 0px 1px 0px;
  border-color: black;
}

h3 {
  font-weight: normal;
  margin-top: 20px;
  margin-bottom: 5px;
  border-style: solid;
  border-width: 0px 0px 1px 0px;
  border-color: black;
}

h4 {
  margin-bottom: 5px;
}

dfn {
  font-weight: bold;
  font-style: normal;
}

code {
  font-family: monospace;
}

dl {
  margin-top: 20px;
}

dt {
  font-weight: bold;
  margin: 0px 10px 0px 0px;
}  

dd {
  margin: 0px 0px 10px 40px;
}

li {

}

th p {
  text-indent: 0pt;
}

td p {
  text-indent: 0pt;
}

table {
  margin: 0px 0px 20px 0px;
  background-color: #999999;
}

table caption {
  background-color: khaki;
  font-weight: bold;
}

table th {
  color: black;
  background-color: #eeeeee;
}

table td {
  padding: 2px 8px 2px 2px;
  background-color: white;
}

p {
  text-indent: 0em;
}

div.title {
  text-align: center;
}

div.date {
  text-align: center;
}

div.author {
  text-align: center;
  font-weight: bold;
}

div.hp {
  text-align: center;
}

div.summary {
  color: maroon;
  background: darkkhaki;
  margin-top: 20pt;
  margin-bottom: 20pt;
  margin-left: 30pt;
  margin-right: 30pt;
  padding: 5pt;
}

div.comment {
  color: red;
  background: yellow;
}

span.comment {
  color: red;
  background: yellow;
}


div.footnote {
  background: antiquewhite;
}

div.fyi {
  color: maroon;
  background: peachpuff;
  padding: 5pt;
  margin: 10pt 30pt 10pt 40pt;
  text-indent: 1em;
}

div.fyi p {
  padding: 5pt;
  margin: 0pt;
}

div.fyi div.title {
  font-weight: bold;
}

div.caption {
  background: lavender;
  font-weight: bold;
  padding: 5pd;
  width: 300pt;
  margin-top: 10pt;
}

span.caption {
  background: lavender;
  font-weight: bold;
}

pre {
  padding: 4px;
  border-style: solid;
  border-width: 2px;
  border-color: #999999;
  background-color: #f0f0f0;
}

pre.program {
   background-color: white;
   font-family: courier, monospace;
   padding: 4pt;
   margin-right: 30pt;
  border-style: solid;
  border-width: thin;
  border-color: black;
}

pre.program em {
  color: red;
  font-style: normal;
}

pre.program strong {
  color: red;
  background-color: yellow;
  font-style: normal;
}

var {
  color: green;
  font-style: italic;
}

tt {
  font-family: courier, monospace;
}

pre.console {
  background-color: black;
  color: white;
  font-family: courier, monospace;
  padding: 5pt;
  margin-right: 30pt;
}

pre.console kbd {
  font-family: courier, monospace;
  color: yellow;
}

p.figure {
  padding: 4px;
  margin: 20px 10px 10px 50px;
  font-weight: bold;
}

div.menu {
  padding: 2pt;
  border-color: black;
  background-color: #ddddee
}

a.menuitem {
  color: #333399;
  font-weight: bold;
  font-size: small;
  padding: 1pt;
}

pre.annotate {
  font-family: courier, monospace;
  background-color: #ffffff;
  border-width: 0px;
  border-color: #ffffff;
}

span.rev2 {
  background-color: #bbe;
}

span.rev1 {
  background-color: #88c;
}

div.main {
  margin: 10px 10px 10px 10px;
}

div.adsense {
  margin: 10% 0% 0% 82%;
  top: 0px;
  left: 0px;
  position: absolute;
  padding: 2px 2px 2px 2px;
}