/* A set of JS utility functions */

/**
 * little url jump function used with dropdown nav menus
 */
function gotoUrl(url) {
	if (url != "")	{
		location.href=url;
	}
}


/**
 * Removes the link borders from any a element that contains an img element
 */
function removeImageLinkBorders() {
	images = document.getElementsByTagName('img');
	for (x=0; x<images.length; x++) {
		image = images[x];
		if (image.parentNode.tagName == 'A' || image.parentNode.tagName == 'a') {
			image.parentNode.style.border = 'none !important';
		}

	}
}