.cat
{ font-family: sans-serif, arial, helvetica, verdana; font-weight: bold; }

.small
{ font-size: 80%; font-weight: normal }

a:hover
{ color: #0000b0 }

a.prog
{ font-family: sans-serif, arial, helvetica, verdana; font-size: 120%; font-weight: bold }

body
{ font-family: sans-serif, arial, helvetica, verdana; font-size: 100%; background-color: #666666 }

img.pick
{ float: left; margin-top: 7px; margin-right: 8px }

td
{ font-size: 84% }

th
{ font-size: 84% }

td.bottom
{ font-size: 60% }

td.menu
{ font-size: 130%; color: blue }