Improvements to the GUI for checkboxes.

The changes are:
 * different colors
 * larger hit area
 * larger drawing of the "checked" overlay
 * box around uncertain values (quality below 0.5)