a.menu { display:block; margin-bottom:2px; text-align:left; width:25ex;
         border-style:ridge; border-width:3px; padding:4px; text-decoration:none; }

a.menu:link    { color:#000; background-color:#FF00FF; }
a.menu:visited { color:#000; background-color:#00E090; }
a.menu:hover   { color:#000; background-color:#FF9F00; }
a.menu:active  { color:#000; background-color:#FFDF00; }
