/*
	HM_Prefs.js
	
	This script handles all of the settings (colors, fonts, etc) for 
	the drop-down menu that appears on our web site.
*/

<!--
if(window.event + "" == "undefined") event = null;
function HM_f_PopUp(){return false};
function HM_f_PopDown(){return false};
popUp = HM_f_PopUp;
popDown = HM_f_PopDown;
//-->