Opera gibt dem html-Element im Gegensatz zu den anderen Browsern padding statt margin.
Man kann darüber streiten, welche Angabe nun sinnvoller ist^^