Function end_div

web_server/public/javascripts/utilities.js:222–224

()

}

function end_div() {
    return ('</div>');
}

function create_anchor(url, text, target = "", id = "") {
    let output_text = '<a';