/* CSS definition file containing site wide stylesheets */
PRE { font-size: large; font-weight: bold; font-style: italic;}