/* Proprietary CSS3 extensions. Do not validate. */
#menu
{
    -moz-border-radius: 1em;
    -khtml-border-radius: 1em;
    -webkit-border-radius: 1em;
}