function disableForm(formId) {
    var form = document.getElementById(formId);
    for (i = 0; i < form.elements.length; i++) {
        form.elements[i].disabled = true;
    }
}

function postSearch(url) {
    var searchInput = document.getElementById('ligature-search-input');
    if (searchInput.value != '') {
        window.location = url + "/" + searchInput.value;
    }
}