De nada. Qué bueno que te sirviera.
Me quedé pensando en eso de los bordes. Recién me tomé unos minutos y lo probé. Ya que estoy lo posteo acá, para que no quede medio descolgado en otro post.
Código:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3c.org/TR/1999/REC-html401-19991224/loose.dtd">
<html>
<head>
<meta http-equiv=Content-Type content="text/html; charset=utf-8">
<style type="text/css">
#menu {background-color: black; padding: 12px; font: normal 14px/120% sans-serif; }
#menu span {color: white; margin: 10px; border-color: black gray; border-width: 2px;
border-style: solid; padding:5px; border-radius: 20px / 10px; cursor: pointer; }
</style>
</head>
<body>
<span id=menu><span>ALFA</span><span>MIKE</span><span>ZULU</span></span>
</body>
</html>
A
border-radius puede que haya que agregarle un prefijo para que se vea en navegadores viejos; no estoy seguro.
Y en IE no sé si anda ni con prefijos, supongo que en el 9 sí.