a.menu { display:block; margin-top:5px; text-align:center; width:16ex;
border-style:ridge; border-width:1px; padding:3px; }

a.menu:link { color:#808080; text-decoration:none; }
a.menu:visited { color:#808080; text-decoration:none; }
a.menu:hover {  color:#FFFF00; background-color:#800000; text-decoration:none; }
a.menu:active { color:#FFFF00; background-color:#800000; text-decoration:none; }