/* CSS definition file containing site wide stylesheets */
A { font-size: 10pt; color: rgb(0,0,0);}
 A:hover { font-size: 10pt;}