function updateUI() {
	selector = document.getElementById("osversionselector");
	osversion = selector.options[selector.selectedIndex].value;

	document.getElementById("leopardonly").style.display = osversion == "leopard" ? "block" : "none";
	document.getElementById("tigeronly").style.display = osversion == "tiger" ? "block" : "none";
	document.getElementById("pantheronly").style.display = osversion == "panther" ? "block" : "none";
}