// JavaScript Document

function checkDivHeight(dmin, did) {
	// This function checks the height of div id="did" against the minimum height dmin and modifies the div to the minimum height if necessary
	var theDiv = document.getElementById(did);
	var divH = theDiv.offsetHeight;
	if(divH < dmin) {
		theDiv.style.height = dmin + 'px';
	}
}