Another enhancement: when using dark theme, Checkboxes had a wrong border/background (which is fixed by this commit)