Mozilla-specific CSS-hacks