.debug_comment { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:blue} 
.debug_var { font-family: Courier; font-size: 12px; color:orange} 
.debug_trace { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:green} 

.stopper_comment { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:blue} 
.stopper_elapsed { font-family: Arial, Helvetica, sans-serif; font-weight: bold; font-size: 12px; color:green} 
.stopper_count { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:blue} 
.stopper_all { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:green} 
.stopper_header { font-family: Arial, Helvetica, sans-serif; font-weight: bold; font-size: 13px; color:blue} 

.error_comment { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:red} 
.error_trace { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color:green}