body {
  font-family: sans-serif;
  color: #008; background-color:#fff;
  font-size: 1em;
  padding: 0pt 5pt 0pt 35pt;
}
h1 { font-size: 1.6em; margin-left: -30pt; color: #369; }
h2 { font-size: 1.4em; margin-left: -15pt; color: #369; }
h3 { font-size: 1.2em; color: #369; }

sub {
font-size: .85em}

code {
font-family: courier, monospaced;
color: #000;
}
p.code {
font-family: courier, monospaced;
color: #000;
font-size: 1em;
padding: 1pt 5pt 1pt 20pt;
}

pre.listing {
color: #000; background-color:#fed; 
font-family: courier, monospaced;
font-size:9pt; 
padding:4pt; 
width:640}

pre.code {
font-family: courier, monospaced;
font-size:9pt;
padding:4pt;
width:600}

dl.bold dt { font-weight: bold }

.normal {
font-size: 1em;
font-weight: normal;
font-family: "new york", times, "times new roman", serif}

.boxed {
font-size:10pt; 
border-left-width: 2px;
border-top-width: 2px;
border-bottom-width: 2px;
border-right-width: 2px;
border-style: groove;
padding-right: 10pt;
padding-left: 10pt;
padding-top: 4pt;
padding-bottom: 3pt;
margin-left: 80px;
margin-right: 80px;
text-align: justify;
font-family: "arial narrow", arial, "gill sans", helvetica, geneva, sans-serif}

.term {
margin-left: 12px;
font-weight: bold;
font-family: arial, "gill sans", helvetica, geneva, sans-serif}

.def {
font-weight: normal;
font-family: arial, "gill sans", helvetica, geneva, sans-serif}

.highlight {
background: #FFFF66;
background-image: none}

.noteRight {
float:right;
font-family:monospaced;
border-style:solid;
font-size:small}

.noteI  { float: left}
.note   {
margin-right: 80px;
margin-left: 20px;
font-size: .85em;
text-align: justify;
font-family:  "new york", times, "times new roman", serif}