= 'black';
        }

        /// The best result is highlighted
        if (ratio == 1) {
            elem.style.fontWeight = 'bold';
        }
    }

    function initializeBenchmark() {
        // Initialize theme
        document.getElementById('toggle-light').addEventListener('click', e => setTheme('light'));
        document.getElementById('toggle-dark').addEventListener('click', e => setTheme('dark'));

        let new_theme = window.localStorage.getItem('theme');
        if (new_theme && new_theme !