web page: better resize behavior in webgl renderer