function showLangs()
{
	element = document.getElementById('langs');
	if ( element.style.display == "block" )
		element.style.display = 'none';
	else
		element.style.display = 'block';
}

// Hide language selector
function hideLangs()
{
	element = document.getElementById('langs');
	if( element.className == "out" )
		element.style.display = 'none';
}

function overLangs(element)
{
	el.className = "over";
}

function outLangs(element)
{
	el.className = "out";
}