New checkboxes and radio buttons are used in menus in some states
New checkbox style is used when checkbox is checked and not hovered.
Additionally, the "normal" non-menu style seems used when non-checked checkbox is hovered.
Not pictured, but the same thing happens with radios.