Sharper checkmarks
Merge pull request #1074 from jpeg729/checkboxes

Sharper checkmarks