gehört border zu width?

[Griever]

Hi.

Im IE wird der Border auf die Breite aufgeschlagen.

Also +6px breite.