/********************************
 *
 */

function fold_element(element) {
    element = document.getElementById(element);

    if (element.style.display == "block") {
	element.style.display = "none";
    }
    else {
	element.style.display = "block";
    }

    repair_page();
}