OpenLayers loads the theme css defined in the map options of OpenLayers.Map when the OpenLayers library is loaded. In Mapbuilder, this happens when the map is created, after Mapbuilder init. So when the map gets rendered, the css might not be loaded yet. This makes the width/height compensation of the extent rectangle in the overview map fail, and so the rectangle may be larger than the overview map window.
This issue is now fixed by letting Mapbuilder take care of loading the theme. Because Mapbuilder does not draw widgets before the onload event of the html body, a dynamically loaded css specified before config init should be available when map rendering starts.
The new function loadCss in Util.js is now being used to load the OpenLayers css theme when the MapPaneOL function is initialized. This also closes a TBD from ButtonBase.js, because the same mechanism was used there to get the crucial styles for button rendering.