/**
 * @author adept
 */
function correctMenu()
{
	var height = document.getElementById('content').offsetHeight;
	document.getElementById('menu').style.height = (height - 16).toString() + 'px';
}
window.onload = correctMenu;