// snavi_ie7():
// show the navi for ie7 in the right way.

function snavi_ie7(){
	var version = getInternetExplorerVersion();
	
 	if(version >= 7 && version < 8 && version != -1){
		var sn_array = getDivByClassName('sub_navi'); 
		var i = 0;
		var w = 0;
		var cur_right = 0;

		while(sn_array.length > i){
			cur_left = sn_array[i].style.marginLeft;
			cur_left = cur_left.split('px').join('');
			cur_left = parseInt(cur_left);

			if(sn_array[i].id != null){
				var mne_id = sn_array[i].id;
				mne_id = mne_id.split('sn').join('mne');
				var mne = document.getElementById(mne_id);
				if(mne.offsetWidth != null){
					w = mne.offsetWidth;
				}
			} else {
				w = 0;
			}
			
			sn_array[i].style.marginLeft = (cur_left - w) + "px";
			i++;
		}		
	}
}

// getDivByClassName():
// returns Div-Elements in an array with the classname cn. 

function getDivByClassName(cn){
	var all_div = document.getElementsByTagName("div");
	var i = 0;
	var result = [];
		
	while(all_div.length > i){
		if(all_div[i].className == cn){
			result.push(all_div[i]);
		}
		
		i++;
	}
	
	return result;
	
}

// Returns the version of Internet Explorer or a -1
// (indicating the use of another browser).

function getInternetExplorerVersion(){
	var rv = -1; // Return value assumes failure.
	if (navigator.appName == 'Microsoft Internet Explorer'){
		var ua = navigator.userAgent;
		var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
		if (re.exec(ua) != null) {
			rv = parseFloat(RegExp.$1);
		}
	}
	return rv;
}