A:link {
  color: blue;
}

A:visited {
  color: blue;
}

body {
  background: white;
}

h1.title {
  text-align: center;
  padding: 4px 0px;
}

h1.chapter {
	margin: 50px 10px 0px 10px;
	border-style: solid;
	border-width: thin;
	border-color: black;
  padding: 4px 0px;
}

h1.class {
  color: #000066;
  margin: 0px 10px 10px 10px;
  padding: 4px 0px;
  font-size: xx-large;
}

h1 {
  color: #000066;
  padding: 4px 0px;
  font-size: x-large;
  margin: 0px 10px 0px 50px;
}


h2.section {
  font-size: x-large;
  font-weight: bold;
  margin: 40px 10px 20px 10px;
  border-style: solid;
  border-width: 0px 0px 2px 0px;
  border-color: black;
}

h2 {
  font-weight: normal;
  font-style: normal;
  font-size: large;
  padding: 4px 0px;
  margin: 30px 10px 10px 50px;
  border-style: solid;
  border-width: 0px 0px 1px 0px;
  border-color: black;
}

h3 {
  padding: 4px 0px;
  margin: 20px 10% 10px 50px;
  font-size: medium;
}

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

code {
  font-family: helvetica, sans-serif;
  font-weight: bold;
}

dl.reference dt {
	font-family: courier;
	font-weight: normal;
}

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

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

dd p {
  margin: 0px 10px 10px 0px;
  text-indent: 0pt;
}

li {
  padding: 0px;
  margin: 0px 0px 0px 32px;
}

th p {
  text-indent: 0pt;
}

td p {
  text-indent: 0pt;
}

table {
  width: 90%;  
  padding: 0px;
  margin: 10px 10px 10px 48px;
  background-color: #ffffff;
}


p {
  padding: 4px 0px;
  margin: 10px 10px 10px 50px;
  text-indent: 0em;
}

div.name-list {
  margin: 10px 10px 10px 40px;
  font-family: courier, monospace;
}

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 {
	margin-left: 60px;
}

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

code {
    font-family: helvetica, sans-serif;
    font-weight: bold;
}

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 0px;
	margin: 20px 10px 10px 50px;
	font-weight: bold;
}