CSS/HTML: better menu border