:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

body {
   color: #000000;
   margin-left: 40px;
   margin-right: 40px;
   padding: 2em 1em 2em 70px;
   margin: 0;
   font-family: sans-serif;
   color: black;
   background: #FFFFFF;
}

h1, h2, h3, h4, h5 { 
    color: #000080; 
    font-family: Tahoma; 
}

p.title { 
    color: #000080; 
    font-family: Tahoma; 
    font-size: 11pt;
	 font-weight: bold;
}

span.term { 
    font-weight: bold; 
}

div.literallayout { 
    background: #E0E0F0; 
    border: 1px solid gray; 
    padding: 2px; 
    font-size: 10pt;
    font-family: Courier;
}

pre.programlisting { 
    background: #E0E0F0; 
    border: 1px solid gray; 
    padding: 2px; 
    font-size: 10pt;
    white-space: pre;
}

body {
}