/* CSS definition file containing site wide stylesheets */
P { font-family: 'Times New Roman', serif; font-size: xx-large; font-weight: bold;}
 PRE { font-weight: normal; font-style: normal;}