td {  font-size: 12px}
.button { border: #000000; border-style: double; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px }
.button1 { border: #000000; border-style: double; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px ; background-color: #CCCCCC; height: 18px; clip: rect( ) }
a {  color: #0000FF; text-decoration: none}
a:hover {  color: #FF0000; text-decoration: none}
a.top {  color: #FFFFFF; text-decoration: none}
a.top:hover {  color: #FF0000; text-decoration: none}
.font {  line-height: 18px}