/**
 * Nastavi vysku leveho sloupce na uroven mainu
 */
function adjustHeight() {
    var main_vyska = document.getElementById("main").clientHeight;
    var levy = document.getElementById("leve_menu");

    levy.style.height = main_vyska;
}

document.observe("dom:loaded", function() {
  adjustHeight();
});