code: function(){
  		var portHeight=parseFloat($("#workarea").css("height"));
  		var portWidth=parseFloat($("#workarea").css("width"));
  		var portX=$("#workarea").scrollLeft();
  		var portY=$("#workarea").scrollTop();
  		var windowWidth=parseFloat($("#svgcanvas").css("width"));
  		var windowHeight=parseFloat($("#svgcanvas").css("height"));
  		var overviewWidth=$("#overviewMiniView").attr("width");
  		var overviewHeight=$("#overviewMiniView").attr("height");
  		
  		var viewBoxX=portX/windowWidth*overviewWidth;
  		var viewBoxY=portY/windowHeight*overviewHeight;
  		var viewBoxWidth=portWidth/windowWidth*overviewWidth;
  		var viewBoxHeight=portHeight/windowHeight*overviewHeight;
  		
  		$("#overview_window_view_box").css("min-width",viewBoxWidth+"px");
  		$("#overview_window_view_box").css("min-height",viewBoxHeight+"px");
  		$("#overview_window_view_box").css("top",viewBoxY+"px");
  		$("#overview_window_view_box").css("left",viewBoxX+"px");
  	}
docs: define dynamic animation of the view box.