/* checkbox.js

	Purpose:
		
	Description:
		
	History:
		Wed Dec 10 16:51:36     2008, Created by jumperchen

Copyright (C) 2008 Potix Corporation. All Rights Reserved.

This program is distributed under LGPL Version 2.1 in the hope that
it will be useful, but WITHOUT ANY WARRANTY.
*/
function checkbox$mold$(out) {
  var uuid = this.uuid;
  //tabindex attribute will be set in input element
  out.push('<span', this.domAttrs_({
    tabindex: 1
  }), '>');
  out.push('<input type="checkbox" id="', uuid, '-real"', /*safe*/this.contentAttrs_(), '></input>');
  out.push('<label for="', uuid, '-real" id="', uuid, '-mold" class="', this.$s('mold'), '" ', zUtl.encodeXML(this._moldA11yAttrs()), '></label>');
  out.push('<label for="', uuid, '-real" id="', uuid, '-cnt"', this.domTextStyleAttr_(), ' class="', this.$s('content'), '">');
  out.push(this.domContent_(), '</label></span>');
}