/* ====================================================
open/close gizmo 
==================================================== */
function showstuff(boxid){
   document.getElementById(boxid).className='visible';
}

function hidestuff(boxid){
   document.getElementById(boxid).className='none';
}