Function addCSS

wasm/notebook/src/process.js:43–50

(code)

}

function addCSS(code) {
    let style = document.createElement('style');
    style.type = 'text/css';
    style.innerHTML = code;
    // add a data attribute to check if css already loaded
    style.dataset.status = 'loaded';
    document.getElementsByTagName('head')[0].appendChild(style);
}

function checkCssStatus() {
    let style = document.getElementsByTagName('style')[0];