Neaten the hover colour of the 'hold on!' dialog box #13
Description
When creating a new env, change the hover colour of the rightmost option; the colour is not that readable when hovering, at the moment.
{{ message }}
When creating a new env, change the hover colour of the rightmost option; the colour is not that readable when hovering, at the moment.