function adjustContents()
  {
   // Don't reserve space for quicknavi when resolution is low (or there is no quicknavi in this document)
   var noQuickNavi = (getAvailWidth() < 800)// || document.getElementById("quicknavi") == null);

   if (document.getElementById("quicknavi"))
     {
      document.getElementById("quicknavi").style.display = noQuickNavi?"none":"block";
     }
   if (document.getElementById("maincontent"))
     {
      document.getElementById("maincontent").style.right = noQuickNavi?"1em":"13.5em";
     }
  }

attachOnLoad(adjustContents);
window.onresize=adjustContents;