Function $

src/browser/main.js:89–92

(id)

    }

    function $(id)
    {
        return document.getElementById(id);
    }

    // These values were previously stored in localStorage
    const elements_to_restore = [