This makes the standard checkboxes 7% darker and makes the disabled ones about 12% darker + 7% darker than they were before, to increase visibility. Fixes: #6331.