border werden ohne weiteres Zutun nicht „überlagert“.
Ich danke dir für diesen Satz. Der erinnerte mich auf einmal an das fehlerhafte Box-Modell des IEs. Dadurch habe ich die DOCTYPE-Angabe von Transitional auf Strict geändert und schon war alles wieder in Butter. (Alternativ hätte ich auch mit dem *html-Hack die Breite der linken DIV-Box um zehn Pixel vergößern können; aber will das schon, wenn's auch ohne geht.)