cursor: default;
background-color: @colorGray14;
border-color: @colorGray14;
}
// disabled and checked checkboxes have a white circle
cursor: default;
background-color: @colorGray14;
border-color: @colorGray14;
}
// disabled and checked checkboxes have a white circle