#menu{
  border-style:solid;
  border-color:rgb(0,0,0);
  border-width:1px;
}
.warning{
  background:red;
  color:white;
}
p.warning{
  background:#fcc;
  color:red;
}
li{
  font-family:arial,sans-serif;
}
li#extra{
  padding:10px;
}