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: 9pt;
            background-color: WhiteSmoke; 
	    border-top: solid 1px #AAAAAA; 
            border-bottom: solid 1px #AAAAAA; 
	    padding: 5px;
	    margin-top: 2px;
            margin-bottom: 1.2em;
	    width: 680px;
          }
.codesample   { 
		white-space:pre; 
		font-family: Bitstream Vera Sans Mono, Courier New; 
		font-size: 9pt;
/*            background-color: WhiteSmoke; 
	    border-top: solid 1px #AAAAAA; 
            border-bottom: solid 1px #AAAAAA; */
	    padding: 1px;
		margin-left: 0em;
	    padding-left: 0em;
	    margin-top: 2px;
		margin-bottom: 1.2em;
/*	    width: 680px; */
          }
.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: Courier New; 
	font-size: 10pt;
	background-color: WhiteSmoke; 
	border: solid 1px Indigo; 
	padding: 5px;
	margin-top: 2px;
	margin-bottom: 2px;
	width: 300px;
	}
.kspcodesmall_highlighted { 
	white-space:pre; 
	font-family: Courier New; 
	font-size: 9pt;
	background-color: WhiteSmoke; 
	border: solid 1px #bbaaaa; 
	background-color: #ffffcc;
	padding: 5px;
	margin-top: 2px;
	margin-bottom: 2px;
	width: 325px;	
	float: left;
	overflow-x: auto;
	}	
.kspcodesmall_nonhighlighted { 
	white-space:pre; 
	font-family: Courier New; 
	font-size: 9pt;
	background-color: WhiteSmoke; 
	border: dashed 1px #aaa; 
	background-color: #eeeeee;
	padding: 5px;
	margin-top: 2px;
	margin-bottom: 2px;
	width: 325px;	
	float: right;			
	overflow-x: auto;
	}	
html,body,table,td,tr   {
            font-family: Verdana, Arial;
			font-family:"Trebuchet MS", Arial, Verdana, Helvetica, sans-serif;
            font-size: 10pt;	    
            margin: 0px;
			padding: 0px;
}
p, div { margin-top: 0em;
    margin-bottom: 5px;    
   }
p { margin-top: 10px; clear: both; }   
body { }   
#contents {


}
dt.documentation { clear: both; 
     margin-top: 20px;
     font-style: italic;}
h1 {
    margin-top: 2em;
}
h2 {
    font-size: 140%;
}
h3 { 
     font-size: 120%;
     margin-top: 2em;
     margin-bottom: 0.3em;
/*     background-color: #FFFFEE; */
/*     background-color: #eeeef0;*/
     color: black; 
     padding: 2px;
     width: 680px;
     border-bottom: 1px solid #000044;
}
h1, h2, h3 { clear: both; padding-top: 20px; padding-bottom: 5px; margin-bottom: 4px; }
blockquote { margin-top: 0.5em; margin-bottom: 0.5em; }
ul { margin-top: 0.5em; }

.down_image {
	position: relative;
	float: right;
	top: 40px;
	left: -2px;
	margin: 0;
	padding: 0;
	visibility: hidden;
}