span.irs {color: blue; font-size: 120% ; font-weight: bold; font-family: arial, tahoma, helvetica, sans-serif}
span.psr {font-size: 100% ; font-weight: bold}
span.red {color: red}
span.reds {color: red;font-size: smaller}
span.gray {color: gray}
span.smaller {font-size: smaller}
a.plain { text-decoration: none }
p.zero { margin-top: 0; margin-bottom: 0 }
.header {font-family: arial, tahoma, helvetica, sans-serif}
.header a:link { color: black }
.header a:visited { color: black }
.header a:active { color: rgb(255, 0, 102) }
.header a:hover { color: rgb(0, 96, 255) }
body.ir { background-image: url(sta.gif); background-position: top center; background-repeat: no-repeat }