a.menu { display:block; margin-top:5px; margin-bottom:5px; width:235px; border-style:none; padding:2px 0px 2px 10px; text-decoration:none; color:#000080 }

a.menu:link    { font-weight:bold; color:#000080; background-color:transparent; }
a.menu:visited { font-weight:bold; color:#000080; background-color:transparent; }
a.menu:hover   { font-weight:bold; color:#000080; background-color:#90a3de; }
a.menu:active  { font-weight:bold; color:#000080; background-color:#90a3de; }


div.menu { font-size:100%; width:235px; }
div.teaser { font-size:100%; width:235px; margin-top:40px; }