Because in IE7 body.marginleft == 10px, but firefox is 8px; ie7 margintop is 15px, firefox is 8px

        <pre data-sub="prettyprint:_">
        </pre>