Various style fixes for Opera Presto (12.16/12.17)