/* IE quirks */

div#navigation {
  margin-left: 25px; /* IE calculates the double margin */
  background-image: none; /* IE did not display border */
  border: 1px solid #C0C0C0; /* boring border for IE */
}

div#navigation ul {
  background-image: none; /* IE did no display border */
}