var WIKI_SERVER_URL = 'http://archive1.diplomacy.edu/Wiki/server/';
	var gPingServerMinutes = 5;	// tells the client to make a getSession query periodically
									// to maintain server login session; value <= 0 means NO PING

	var MENU_OPTION_COLOR_ENABLED = '#000000';
	var MENU_OPTION_COLOR_DISABLED = '#c0c0c0';