… den habe ich jetzt gefunden. Dass das IE-Box-Model buggy ist, wussten wir ja alle, aber man hat halt immer aussenrum geschrieben. Ich habe zum Beispiel immer versucht die paddings in den Container-Elementen wegzulassen oder ein Design zu wählen, bei dem es nicht auf den Pixel ankommt.
Doch nun habe ich mir ein für alle Male die Mühe gemacht und mir meinen Lieblingshack ausgesucht: Kurz, valide, griffig, übersichtlich:
div.navi {
float: left;
border: 1px solid gray;
margin-right: 10px;
padding: 10px;
width: 180px !important;
width /**/: 200px;
}
Ich warte schon auf die nächste IE-Version und auf das, was mich da wieder erwartet. Mit Grausen sehe ich schon die Heerscharen von »HTML-Programmierern« mit Visual-Grafix verdrehte SVGs zaubern :-(
Aber ich will nicht jammern.