th {
    font-weight:	bold;
    color:		#ffffff;
    background:		#2255aa;
}
td.subh {
    font-weight:	bold;
    background:		#cccccc;
}
td.key {
    font-weight:	bold;
    background:		#eeeeee;
}
td.example {
    font-family:	Courier;
    font-size:		8pt;
}