/*
 * UI tweaks for small screens
 */

function tweakUI() {
    var menu = document.getElementById("menu");
    if (menu) {
        menu.onclick = function(e) {
            if (e.target == menu)
                menu.classList.toggle("full-display");
        };
    }
	/*
    var subm = document.getElementById("links");
    if (subm) {
        subm.childNodes[0].onclick = function(e) {
            subm.classList.toggle("full-display");
            return false;
        };
    }*/
}

var old = window.onload;
if (old) {
    window.onload = function(evt) {
        old(evt);
        tweakUI();
    };
}
else
    window.onload = tweakUI;