body {
 color: black; 
 /* font-family: Verdana, Arial, Helvetica; */
 font-family: Arial;
 /* font-size: 1.0em; */
 font-size: 8pt
}
.timestamp { 
 font-family: Courier;
 font-size: 8pt;
}