window.onload = function() {
	var win_regex = /\/win\//;
	var mac_regex = /\/mac\//;
	var url = window.location.href;

	var win_tab = document.getElementById("nav0_win");
	var mac_tab = document.getElementById("nav0_mac")
	var ind_tab = document.getElementById("nav0_home")
	
	if(url.match(win_regex)) {
		win_tab.className = "active";
		mac_tab.className = "";
		ind_tab.className = "";
	} else if(url.match(mac_regex)) {
		win_tab.className = "";
		mac_tab.className = "active";
		ind_tab.className = "";
	} else {
		win_tab.className = "";
		mac_tab.className = "";
		ind_tab.className = "active";
	}
}