/* JavaScripyt regarding the Help panel */

function toggleHelp() {
    var div = document.getElementById('help');
    var viz = div.style.display == 'block' ? 'none' : 'block';
    div.style.display = viz;
}