var version = navigator.appVersion.charAt(0);	// ブラウザのバージョン
var name    = navigator.appName.charAt(0);		// ブラウザのアプリケーション名称

/***************************************************************************
 * ブラウザが Internet Explorer かどうか判定します。
 ***************************************************************************/
function isInternetExplorer() {
	return ((version >= 4) && (name == "M"));
}

/***************************************************************************
 * ブラウザが Netscape Navigator かどうか判定します。
 ***************************************************************************/
function isNetscape() {
	return ((version >= 4) && (name == "N"));
}

function changeStyle(id, isOnMouse) {
	if (document.getElementById) {
		document.getElementById(id).className = isOnMouse ? "decorate" : "plain";
	}
}