Hi,
as info to subsequent editors: I cite from
http://www.openstreetmap.org/css/style.css
...
#left_menu ul {
//list-style: none;
padding-left: 10px;
margin: 0;
}
...
"//" is not a style sheet comment, but a JavaScript comment. Style sheets
only know "/* ... */" ;-)
Fixed in subverion ;)
Ciao, Imi