body {
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 11px; 
margin-top: 0px;
margin-bottom: 1em; }

.smalltext { 
text-decoration:none; 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-weight:normal; 
font-size: 11px; 
color: #579fd2; }
.smalltext:hover { 
text-decoration: underline; 
color: #cc6600; }

p { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 11px; 
margin-top: 0px;
margin-bottom: 1em; }

h4 {
margin-top: 10px;
margin-bottom:0 px; 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 13px; }
  
#toc {
position: relative;
left: 0px;
top: 3px;
height: 100%;
width: 90%;
padding:3px; } 
 

#index {
position: relative;
left: 0px;
top: 3px;
height: 100%;
width: 93%;
padding:3px; } 

#content {
position: relative;
left: 0px;
top: 3px;
height: 100%;
width: 98%;
padding:3px; } 

#links {
position: relative;
left: 0px;
top: 3px;
height: 11px;
width: 85%;
padding:3px; } 

#container {
position: relative;
left: 0px;
right:5px;
top:0px;
bottom:5px;
height: 500px;
width: 100%; }

.heading {
padding:3px;
text-align:center;
background-color:#d5e5f2;
font-size: 11px;
font-weight: bold; }

.bodycopy { 
font-family: Verdana, Arial, Helvetica, sans-serif; 
font-size: 11px; }

.muji {
margin-bottom: 5px;
margin-top: -5px;}