Work around WebKit bug with SVG sizes.  Resolves issue #749.