function toggle_visibility(a){document.getElementById(a).style.display=="none"?show(a):hide(a)}function show(a){a=document.getElementById(a);a.style.display="inline";a.style.visibility="visible"}function hide(a){a=document.getElementById(a);a.style.display="none";a.style.visibility="hidden"}
function toggle_innstillinger(){var a=document.getElementById("innstillinger"),b=document.getElementById("innstillinger_knapp");if(a.style.display=="none"){a.style.display="block";b.innerHTML="-"}else{a.style.display="none";b.innerHTML="+"}};