3 ms·

For a future update, it might be nice to have styles be selectable/replaceable by the user (without client-side CSS mods).