function too_high (items, targetHeight)                       
  { var maxHeight    = 0;                                     
    for( var i=0; i<items.length; i++)                        
      { var height= parseInt( items[i].offsetHeight, 10);     
        if( height > maxHeight) { maxHeight= height; }        
      }                                                       
    if( maxHeight > targetHeight)
      { return true; }
    else
      { return false; }
  }

function resizeMenu ()
  { var targetHeight = 50;
    var fontSize     = 1.3;

    var div=document.getElementById( "leftmenu");
    var buttons      = div.getElementsByTagName( "a");
    var spans        = div.getElementsByTagName( "span");

    var items= [];
    var i;
    for( i=0; i<buttons.length; i++) { items.push( buttons[i]); }
    for( i=0; i<spans.length; i++)   { items.push( spans[i]); }

    while( (fontSize >= 0.8) && too_high(items, targetHeight))
      { fontSize= fontSize - 0.1;
        var style= fontSize.toPrecision(2) + "em";
        for( i=0; i<items.length; i++)
          { items[i].style.fontSize= style; }
      }
  }