document.addEventListener('DOMContentLoaded', main);

let traces = {};

function main() {
    const font = new FontFace('ibm8x16', 'url(ibm_vga8.woff2)');
    document.fonts.add(font);
    font.load();
    document.fonts.ready.then(() => {
        init_webgl();
        init_rasterizer();
        init_listeners();
    });
}