nt.createElement('td');
                td.appendChild(document.createTextNode(curr_timing ? `${Math.round(curr_timing)}s (Ã—${ratio.toFixed(2)})` : '0'));

                colorize(td, ratio);
                tr.appendChild(td);
            });

            details_body.appendChild(tr);
        }

        /// Data sizes
        {
            let tr = document.createElement('tr');
            tr.className = 'shadow';

            let td_title = document.createElement('td');
            td_title.colSpan =