- function handleResize() {
- var el = document.getElementById( 'map' );
- var left = getStyle( el, 'left' );
- var top = getStyle( el, 'top' );
- var bottom = getStyle( el, 'bottom' );
- var right = getStyle( el, 'right' );
- var width = el.old_width;
- if( ! width ) {
- width = getStyle( el, 'width' );
- }
- var height = el.old_height;
- if( ! height ) {
- height = getStyle( el, 'height' );
- }
- var pwidth, pheight;
- if( el.offsetParent.nodeName == 'BODY' || el.offsetParent.nodeName == 'HTML' ) {
- if( typeof( window.innerWidth ) == 'number' ) {
- pwidth = window.innerWidth;
- height = window.innerHeight;
- } else if( document.documentElement &&
- ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
- pwidth = document.documentElement.clientWidth;
- pheight = document.documentElement.clientHeight;
- } else if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
- pwidth = document.body.clientWidth;
- pheight = document.body.clientHeight;
- }
- } else {
- pwidth = el.offsetParent.offsetWidth;
- pheight = el.offsetParent.offsetHeight;
- }
- if( left != 'auto' && right != 'auto' && width == 'auto' ) {
- el.old_width = width;
- var new_width = (pwidth - el.offsetLeft - parseInt( right ) );
- el.style.width = new_width + 'px';
+ function resizeMap() {
+ var centre = map.getCenter();
+ var zoom = map.getZoom();
+ var search_results_width = $("search_results").offsetWidth;
+
+ if (search_results_width > 0) {
+ search_results_width = search_results_width + 5