/* CSS definition file containing site wide stylesheets */
BODY { font-size: small;}
 PRE { font-size: x-small;}