/** (taken from ISC common.js, with alterations)
 * Sets the height of the elements passed in to match that of the one that
 * has the greatest height.
 *
 * @param ele The element(s) to adjust the height for.
 * @return void
 */
	function setHeight(ele,pad) {
		var ele       = $(ele),
			maxHeight = 0;

		ele
			// reset the height just in case it was set by the stylesheet so
			// we can detect it
			.css('height', 'auto')
			// get the one with the greatest height
			.each(function() {
				if ($(this).height() > maxHeight) {
					maxHeight = $(this).height();
				}
			})
			// and set them all to the greatest height
			.css('height', maxHeight+pad);
	}