body { 
   color: black; 
   background-color: white;
   font-family: Verdana, sans-serif;
   font-size: 13;
   background-image: url("banner.jpg");
   background-repeat: no-repeat;
   background-attachment: scroll;
   border-style: dashed;
   border-width: 1px;
   border-color: blue;
}
em { 
   font-family: Verdana, sans-serif;            
   font-style: italic; 
   font-weight: bold; 
   color: #000080; }

table {
   float: right;
   border: dashed; 
   border-width: 1px;
   background: #ffffee;
   margin-top: 10px;
   margin-bottom: 10px;
   margin-left: 10px;
   margin-right: 10px;
}
table.info {
   border: dashed;
   border-width: 1px;
   background: #ffffee;
   margin-top: 10px;
   margin-bottom: 10px;
   margin-left: 35px;
   margin-right: 35px;
}
tr.head {
   background: #000080;
   color: #ffffff;
}
td.info {
   font-size: 13;
   font-family: Verdana, sans-serif;
   font-style: normal;
}

td {
   font-size: 13;
   font-style: italic;
}
h1 { 
   color: #000080; 
   font-style: italic; 
   font-weight: bold;
   margin: 2px; 
   font-family: Verdana, sans-serif;            
}

h1.main {
   color: white;
   font-style: italic;
   font-weight: bold;
   font-size: 250%;
   margin: 5px;
   font-family: Verdana, sans-serif;            
}

h2 {
   color: #000080;
   font-weight: bold;
   margin: 5px;
   font-family: Verdana, sans-serif;            
}

h3 {
   color: #000080;
   font-weight: bold;
   margin: 5px;
   font-family: Verdana, sans-serif;            
}   

p.first {
   margin: 100px 30px 10px 30px;
   font-family: Verdana, sans-serif;            
}

p {
   margin: 15px 30px 15px 30px;
   font-family: Verdana, sans-serif;            
}

p.navigation {
   margin: 25px 5px 10px 5px;
   font-family: Verdana, sans-serif;
   font-weight: bold;   
   color: #000080;
}

p.codelist {
   border: dashed;
   border-width: 1px;
   margin: 25px 65px 25px 65px;
   font-family: Courier New, monospace;
}   

img.float {
   float: right;
   border: dashed;
   border-width: 1px;           
   margin: 5px 5px 5px 5px;
}