/* CSS definition file containing site wide stylesheets */
.tabletext { font-size: 9pt; color: rgb(0,0,102);}
 H2 { font-family: Georgia, Palatino, 'Times New Roman', Times, Serif, serif; font-size: 12pt; color: rgb(0,0,102); font-weight: bold;}
 PRE { font-size: xx-small;}