Small on/off-toggle widget to replace normal checkbox.