530 			document.getElementsByTagName('body')[0].removeChild(mxJSColor.picker.boxB);
538 					boxB : document.createElement('div'),  property in mxJSColor.picker
565 				mxJSColor.picker.boxB.appendChild(mxJSColor.picker.box);
612 			p.boxB.style.position = 'absolute';
613 			p.boxB.style.clear = 'both';
614 			p.boxB.style.left = x+'px';
615 			p.boxB.style.top = y+'px';
616 			p.boxB.style.zIndex = THIS.pickerZIndex;
617 			p.boxB.style.border = THIS.pickerBorder+'px solid';
618 			p.boxB.style.borderColor = THIS.pickerBorderColor;
619 			p.boxB.style.background = THIS.pickerFaceColor;
711 			document.getElementsByTagName('body')[0].appendChild(p.boxB);