div 		{ 
  font-family: Arial,Verdana;
  font-size: 11pt;
  text-align: justify;

		}

div.section { 
  max-width: 700px;
}

.navhomehead       { padding-top: 0; 
                     margin-bottom: 0;
                     padding-bottom: 0;
                     font-size: 80%
                   }

.navhomehead           { color: black; }
.navhomehead a:link    { color: black; }
.navhomehead a:visited { color: black; }

.navhead           {
  padding-top: 0; 
  margin-bottom: 0;
  padding-bottom: 0;
  font-size: 60%
  bgcolor: blue;
  color: black;
  font-family: Verdana, sans-serif;
}

.navhead a:link    { color: black; }
.navhead a:visited { color: black; }

.navfoot           { color: black;
                     font-size: 70%;
                   }

.navfoot a:link    { color: black; }
.navfoot a:visited { color: black; }

.navtoc a:link    { color: black; }
.navtoc a:visited { color: #333f4d; }
.navtoc a:hover, a:active { 
  color: white;
	text-decoration: underline;
}

span.navtoc		{ font-family: Times;
		 	 font-style: bold;
			font-size: 120%;
		}
span.xnavtoc		{ font-family: Verdana;
		 	 font-style: italic;
			font-size: 100%;
		}

span.footdate      { color: black;
                     font-size: 100%;
                     font-family: Arial, sans-serif;
                   }

span.foothome      { color: black;
                     font-size: 100%;
                     font-family: Times, sans-serif;
                   }

span.footfeed      { color: black;
                     font-size: 100%;
                     font-family: Times, sans-serif;
                   }

span.footcopy      { color: black;
                     font-size: 100%;
                     font-family: Times, sans-serif;
                   }

span.footnote      { color: black;
                     font-size: 60%;
                     font-family: Times, sans-serif;
                   }

span.footdate      { color: black;
                     font-size: 70%;
                     font-family: Verdana, sans-serif;
                   }

.titlepage 	   { color: #0d15a8;
  font-family: Verdana, sans-serif;
  
}

.screen		    { 
  background-color:#c5d5f7;
  font-family: Terminal;
  font-size: 100%;
  padding-left: 35px;
  border-style: solid;
  border-width: thin;
  border-color: black;
}
h2.title {
  border-bottom-style: solid;
  border-width: thin;
  border-color: black;
}

h3.title {
  padding: 0px 10px;
  font-size: 160%;
 }

h4.title { 
  padding: 0px 20px;
  font-size: 135%;
 }

h5.title { 
  padding: 0px 30px;
  font-size: 125%;
 }

h6.title { 
  padding: 0px 40px;
  font-size: 115%;
 }

.programlisting { 
  background-color:#c5d5f7;
  font-size: 100%;
  padding-left: 35px;
  border-style: solid;
  border-width: thin;
  border-color: black;
 }