// jump to the corresponding mirror
function jumpBox(list) { location.href = list.options[list.selectedIndex].value}

// based on Wikipedia JavaScript functions, to hide a section by its id
function showNewsToggle(show,hide) {
	if(document.getElementById) {
		document.writeln('<span class=\'newstoggle\'>[<a href="javascript:toggleNews()" class="internal">' +
		'<span id="showlinkNews" style="display:none;">' + show + '</span>' +
		'<span id="hidelinkNews">' + hide + '</span>'
		+ '</a>]</span>');
	}
}


function toggleNews() {
	var news = document.getElementById('newsinside');
	var showlink=document.getElementById('showlinkNews');
	var hidelink=document.getElementById('hidelinkNews');
	if(news.style.display == 'none') {
		news.style.display = newsWas;
		hidelink.style.display='';
		showlink.style.display='none';

	} else {
		newsWas = news.style.display;
		news.style.display = 'none';
		hidelink.style.display='none';
		showlink.style.display='';

	}
}

function showTocToggle(show,hide) {
	if(document.getElementById) {
		document.writeln('<span class=\'toctoggle\'>[<a href="javascript:toggleToc()" class="internal">' +
		'<span id="showlink" style="display:none;">' + show + '</span>' +
		'<span id="hidelink">' + hide + '</span>'
		+ '</a>]</span>');
	}
}


function toggleToc() {
	var toc = document.getElementById('tocinside');
	var showlink=document.getElementById('showlink');
	var hidelink=document.getElementById('hidelink');
	if(toc.style.display == 'none') {
		toc.style.display = tocWas;
		hidelink.style.display='';
		showlink.style.display='none';

	} else {
		tocWas = toc.style.display;
		toc.style.display = 'none';
		hidelink.style.display='none';
		showlink.style.display='';

	}
}