remove old Opera-specific CSS properties where Opera supports the standard properties.