function showHelp()
{
 document.getElementById('help').style.display='block';
 document.getElementById('toggle-help').style.display='none';
}

function hideHelp()
{
 document.getElementById('help').style.display='none';
 document.getElementById('toggle-help').style.display='block';
}

function showLineNumbers()
{
 document.getElementById('codeLines').style.display='block';
 document.getElementById('codeNoLines').style.display='none';
}

function hideLineNumbers()
{
 document.getElementById('codeLines').style.display='none';
 document.getElementById('codeNoLines').style.display='block';
}