Type alias ElementIDs

ElementIDs: {
    graph_div: string;
    images_dir: string;
    sim_canvas: string;
    sim_controls: string;
    term_input: string;
    term_output: string;
}

Names of HTML div, form, and input element's to search for by using document.getElementById().