Update CSS matching the recent `ui.js` tweaks

See https://github.com/bestiejs/benchmark.js.