* { 
font-family: verdana, geneva, arial, helvetica, sans-serif;
font-size: 12px;
text-align: justify;
}

a:link {
color: #445566;
background-color: #fff;
}

a:visited {
background-color: #fff;
color: #000050;
}

a:active {
background-color: #fff;
color: #a000ff;
}

a:hover {
background-color: #fff;
color: #000;
}

img { 
border: 0px;
}

td {
margin-top: 0px;
vertical-align: top;
}

.navheader {
margin-top: 0px;
margin-left: 0px;
margin-right: 0px;
}

.navfooter {
margin-bottom: 0px;
margin-left: 0px;
margin-right: 0px;
}

.informalfigure  {
padding: 0 0 10px 10px;
}

body {
background-color: #fff;
color: #000;
margin-top: 0px;
margin-left: 0px;
margin-right: 0px;
}

h1 {
font-size: 22px;  
color: #334455;
background-color: #fff;
clear: both;
}

h2 {
font-size: 17px;  
background-color: #fff;
color: #334455;
clear: both;
}

h3 {
font-size: 15px;  
color: #334455;
clear: both;
background-color: #fff;
}

h4 {
font-size: 15px;  
color: #334455;
background-color: #fff;
clear: both;
}

h5 {
font-size: 15px;  
color: #334455;
background-color: #fff;
clear: both;
}

.programlisting {
color: #334455;
clear: both;
}

.chaptitle { 
margin: 9px 0px 0px 15px;
}

.titlepage { 
text-align: center;
}

img.title {
display: block;
margin-left: auto;
margin-right: auto 
}

.set {
margin-left: 20px;
margin-right: 10px;
}

.book {
margin-left: 20px;
margin-right: 10px;
}

.chapter {
margin-left: 20px;
margin-right: 10px;
}

.sect1 {
margin-left: 40px;
margin-right: 10px;
}

.sect2 {
margin-left: 20px;
margin-right: 10px;
}

.sect3 {
margin-left: 20px;
margin-right: 10px;
}

.sect4 {
margin-left: 20px;
margin-right: 10px;
}

.caption {
font-style: italic;
text-align: left;
}

.set hr {
display: none;
}

.book hr {
display: none;
}