use web_sys::HtmlImageElement;
use wasm_bindgen::JsCast;
pub fn texid_to_html_image_unchecked(tex: &str) -> HtmlImageElement {
let window = web_sys::window().expect("window needs to exist");
let document = window.document().expect("window.document needs to exist");
document.get_element_by_id(&format!("tex-{}", tex)).unwrap().dyn_into::().unwrap()
}