document.observe("dom:loaded", function() {
	if( $('dv_cover') ) {
		
		var winHeight, contentHeight;
		if (window.innerHeight) {
			winHeight = window.innerHeight;
		} else {
			winHeight = $$("html")[0].getHeight();
		}

		if ( $$(".dv_page")[0].getHeight() <  winHeight) {
			contentHeight = winHeight;
		} else {
			contentHeight = $$(".dv_page")[0].getHeight();
		}

		$("dv_cover").setStyle({height:contentHeight+"px"});
	}
	
});