Ansonsten kommt es zu unschönen Ruckern, wenn man zwischen Seiten hin und
her wechselt, bei denen der gesamte Inhalt auf eine Bildschirmseite passt
bzw. nicht passt, weil die Marginalspalte weiter vom Fensterrand abrückt,
wenn der Browser den Scroll-Balken ergänzt.