print header; ... etc ... # Print a div box with a span element to fill in with later JavaScript commands. # print "
##
div.box_div {
border: thin solid #000000;
padding:5px;
margin:9px;
color:#0088FF;
width:75%;
float:left;
}
div.div_ok {
border: thin solid #0088FF;
padding:2px;
margin:2px;
color:#0088FF;
float:left;
}
div.div_notok {
border: thin solid #FF0000;
padding:2px;
margin:2px;
color:#FF0000;
float:left;
}