Side note: how does/ought a checkbox that is both checked and disabled look? I haven't
skinned a checkbox since Mac OS 9, but my experience from then involved creating checked
and unchecked versions of disabled, normal, and active checkboxes, and I haven't seen
any examples of disabled checked ones here. Is the checkmark still bright green on
disabled checkboxes? The colour might throw people off if they're expecting the
checkmark to be greyed-out as well as the box.