/* CSS definition file containing site wide stylesheets */
P { font-size: large; text-indent: 1pt; margin: 0pt; padding: 5pt;}
 PRE { list-style-type: none;}