openlayers/ol3 — pull request #1451 by twpayne (2014-01-02 15:50:45+00:00)
Title: Use goog.style.getContentBoxSize to calculate map size

This takes into account any border.

This fixes the problem reported by @bartvde in #1440.