.event { 
	color: #CC0000; 
}
.timex { 
	color: #0000CC;
}
.signal { 
	color: #33CC00; 
}
.highlight {
	font-weight: bold;
	background-color: #CCCCCC;
}
body {
	background-color: #FFFFFF;
}
s {
	text-decoration: none;
}
sup { 
	font-size: 10px; }