Fix for sizing on Opera, for issue #1015