Wenn man für den Header
Code: 
#header { top: 0px; }
festlegt geht's doch eh, egal welche Margin- und Padding-Werte der Body hat. Oder klappt das nicht im Opera (keine Ahnung von dem)?
btw: Ich wusste gar nicht, dass das fürs ganze HTML-Element auch geht - hat das echt eine Funktion?