function nudgeFirefox(){
    /* sort out a height problem in firefox */
    document.getElementsByTagName('body')[0].style.width='99%';
    document.getElementsByTagName('body')[0].style.width='auto';
}