td { vertical-align: top; }
.string   { color:olive;                       }
.comment  { color:green;   font-style:italic;  }
.method   { color:#008080; font-weight:bold;   }
.keyword  { color:#000077; font-weight:bold;   }
.variable {                                    }
.pycode  {  white-space:pre; 
            font-family: Courier New; 
            font-size: 10pt;
            background-color: Ivory; 
	    border: solid 1px Indigo; 
	    padding: 5px;
	    margin-top: 0px;
	    width: 780px;
          }
.kspcode { white-space:pre; 
            font-family: Bitstream Vera Sans Mono, Courier New; 
            font-size: 10pt;
          }
.pycodesmall  { white-space:pre; 
            font-family: Courier New; 
            font-size: 10pt;
            background-color: Ivory; 
	    border: solid 1px Indigo; 
	    padding: 5px;
	    margin-top: 0px;
	    width: 300px;
          }
.kspcodesmall { white-space:pre; 
            font-family: Bitstream Vera Sans Mono, Courier New; 
            font-size: 10pt;
            background-color: WhiteSmoke; 
	    border: solid 1px Indigo; 
	    padding: 5px;
	    margin-top: 0px;
	    width: 300px;
          }
html, body {
	margin: 0;
	padding: 0;
	width: 100%;
	/*height: 100%; */
	text-align:center;
	background-color: #334;
}
body,table,td,tr   {
            font-family: Verdana, Arial;
            font-size: 10pt;						
}
dt.documentation { clear: both; 
     margin-top: 20px;
     font-style: italic;
}

div#contents {
	background-image: url("header.jpg");
	background-repeat: no-repeat;
	background-color: white;
	margin: 0 auto 0 auto;
	margin-left: auto;
	margin-right: auto;
	margin-top: 0;
	margin-bottom: 0;
	padding: 120px 30px 0px 30px;
	width:730px; 
	/*height: 100%; */
	text-align:left;
	clear:both;
}

ul.nicelist {
	background-color: #FAFAF0;
	list-style-type: none;
	margin-left: 0;
	margin-top: 2px;
}

ul.nicelist a {
	width: 100%;
	border-bottom: 1px solid #E8E7D0;
}

ul.nicelist a:hover {
	background-color: #FFF;
}

.nicelist ul {
	margin: 0;
	padding: 0;
	
	
}

.nicelist ul li a {
	padding: 10px 0 0 0px;
	border-bottom: 1px solid #E8E7D0;
	display: compact;		
}

.nicelist li {
	margin-top: 2px;
	margin-bottom: 2px;
}

.nicelist ul li a:hover {
	background-color: #FFF;
}