
    document.getElementById('maxmatches').value = "";
    document.getElementById('search').value = "";
    document.getElementById('casesensitive').checked = false;
    document.getElementById('useregex').checked = false;
    document.getElementById('selectamt').value = "";
}

function displayTitles() {
    const tocDiv = document.getElementById('toc');
    const contentsDiv = document.getElementById('contents');
    const minlen = document.getElementById('minlen').value;
    const maxlen = doc