/* CSS definition file containing site wide stylesheets */
.JSOutput { font-family: Arial, Helvetica, Univers, 'Zurich BT', sans-serif; font-size: 12pt; color: rgb(0,0,255); font-weight: bold; vertical-align: baseline; font-variant: small-caps;}