541 					padM : document.createElement('div'),  property in mxJSColor.picker
561 				mxJSColor.picker.box.appendChild(mxJSColor.picker.padM);
586 			p.padM.onmouseup =
587 …p.padM.onmouseout = function() { if(holdPad) { holdPad=false; mxJSColor.fireEvent(valueElement,'ch…
588 			p.padM.onmousedown = function(e) {
633 			p.padM.style.position = 'absolute';
634 			p.padM.style.left = '0';
635 			p.padM.style.top = '0';
636 …p.padM.style.width = THIS.pickerFace + 2*THIS.pickerInset + mxJSColor.images.pad[0] + mxJSColor.im…
637 			p.padM.style.height = p.box.style.height;
638 			p.padM.style.cursor = 'crosshair';
698 …p.padM.style.backgroundImage = "url(data:image/gif;base64,R0lGODlhDwAPAKEBAAAAAP///////////yH5BAEK…
699 			p.padM.style.backgroundRepeat = "no-repeat";
735 			mxJSColor.picker.padM.style.backgroundPosition =