/* * Style sheet for the HTML 4.0 specification * $Id: default.css,v 1.13 1999/03/08 17:25:02 ijacobs Exp $ */ A:link {      text-decoration: none;       color: #cc3333;       font-weight: normal;}A:hover {      color: #cc3333;      text-decoration: underline;}A:visited {      color: #555555;      text-decoration: none;}/* .pulldown {  font-family: frutiger,verdana,arial,sans-serif; font-size: 2; font-weight: lighter; background-color: #999999; clip:   rect(   ); padding-top: 3px; border-top-width: 0px; border-right-width: 0px; border-bottom-width: 0px; border-left-width: 0px} *//* input {font-size: 9px; font-family: arial, geneva, sans-serif } */