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: Courier New; 
            font-size: 10pt;
            background-color: WhiteSmoke; 
	    border: solid 1px Indigo; 
	    padding: 5px;
	    margin-top: 0px;
	    width: 780px;
          }
.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: 0px;
	    width: 300px;
          }
body,table,td,tr   {
            font-family: Verdana, Arial;
            font-size: 10pt;
}

dt.script {
	border-top: ridge 2px #24B; 
	padding-top: 1em;
}
dt.documentation { clear: both; 
     margin-top: 20px;
     font-style: italic;}

