Huh? If it worked in Opera, it absolutely wasn’t guaranteed to work in IE < 9 (conservatively; honestly probably every pre-Edge IE). At one point Opera had a more faithful CSS (2) implementation than even Firefox. And nothing guaranteed it worked in IE except checking in IE.