DT { background-color : #E1E1E1; font-size : 130%;
font-family : monospace; margin-top : 7pt }
DD { background-color : #FFFFFF; margin-top : 2pt}

A:active { color : #00FFFF }
A:link { color : #0000E5 }
A:visited { color : #2A007F }