Hallo tox,
du brauchst doch gar keine Weiche für den Opera. Er macht doch nur genau das, was du ihm sagst: margin-left:-7px. Das Problem bestand doch nur im IE, also sorge dafür, dass nur der IE sich um deinen Workaround kümmert. Und IE-Weichen gibts ja mehr als Sicherheitslücken in Windows, also sollte es ja nicht so schwer sein eine zu finden.
gruss,
OhneName