A             {text-decoration: none }
A:hover       {color: red }
A:link        {color: #0000EE}
A:visited     {color: darkblue}
A:active      {color: red}
body.info     {color: black; background: #FFFFFF }
table.info    {background: #FFBB00; width: 100%; border: 0; border-spacing: 0 }
body          {color: darkblue; background: #FFBB00 }
div           {margin-bottom: 0.3ex}
div.SAOBhead  {font-size: 110%;font-weight: bold; font-variant: small-caps;
               color: black;margin-bottom: 2ex}
div.qtype     {font-size: 100%;font-weight: bold;margin-bottom: 1ex}
div.navig     {margin-bottom:2ex; font-size: 80%}
div.buttons   {margin-bottom: 1ex}
div.foot      {font-family: Helvetica; font-size: 90%}
div.lista     {margin-top: 2ex; font-size: 80%; font-weight: bold}
div.selput    {margin-top: 2ex}
select        {color: darkblue; width: 9em}
select.big    {width: 16em}
input         {color: darkblue}
input.big     {width: 16em}

td.ledtext    {font-size: 80%}
div.ledtext   {font-size: 80%}
dt.info       {color: darkblue}
tt.ex         {color:brown}
span.info     {color: darkblue}