function onResizeCompanyLogo() {
	var companyLogo  = document.getElementById('company-logo-img');
	var mastheadLogo = document.getElementById('masthead-img');
	var preferredheight = mastheadLogo.height;
	if (companyLogo != undefined) {
		if (companyLogo.height > preferredheight)
		{
			companyLogo.height = preferredheight;
		}
		companyLogo.style.marginTop = (preferredheight - companyLogo.height) + "px";
	}
}

window.onload = function() {
	
	//Resize company logo if needed:
	onResizeCompanyLogo();

}