nicht angemeldet
Die border-Lösung ist mir bei dir das erste Mal begegnet und ich habe sie auch noch nirgendwo im Einsatz gesehen, die margin/background-color-Lösung ist hingegen verbreitet.
So weit ich das sehe (und meine Tests mit diversen Browsern bestätigen das), sind border- und margin-Lösung im Grunde identisch. Beides beruht auf dem selben Prinzip. Ob der main-Container mittels margin-right oder border-right (oder beides zusammen!) eingerückt wird, scheint unerheblich zu sein.
Vielen Dank für die professionelle Hilfe!