Lines Matching refs:document

40 		var e = document.getElementsByTagName('base');
45 		var e = document.getElementsByTagName('script');
94 		return typeof mixed === 'string' ? document.getElementById(mixed) : mixed;
111 		if(document.createEvent) {
112 			var ev = document.createEvent('HTMLEvents');
115 		} else if(document.createEventObject) {
116 			var ev = document.createEventObject();
163 		} else if(document.body && (document.body.scrollLeft || document.body.scrollTop)) {
164 			return [document.body.scrollLeft, document.body.scrollTop];
165 …} else if(document.documentElement && (document.documentElement.scrollLeft || document.documentEle…
166 			return [document.documentElement.scrollLeft, document.documentElement.scrollTop];
176 		} else if(document.body && (document.body.clientWidth || document.body.clientHeight)) {
177 			return [document.body.clientWidth, document.body.clientHeight];
178 …} else if(document.documentElement && (document.documentElement.clientWidth || document.documentEl…
179 			return [document.documentElement.clientWidth, document.documentElement.clientHeight];
530 			document.getElementsByTagName('body')[0].removeChild(mxJSColor.picker.boxB);
537 					box : document.createElement('div'),
538 					boxB : document.createElement('div'),
539 					pad : document.createElement('div'),
540 					padB : document.createElement('div'),
541 					padM : document.createElement('div'),
542 					sld : document.createElement('div'),
543 					sldB : document.createElement('div'),
544 					sldM : document.createElement('div'),
545 					btn : document.createElement('div'),
546 					btnS : document.createElement('span'),
547 					btnT : document.createTextNode(THIS.pickerCloseText)
550 					var seg = document.createElement('div');
578 					if (document.selection) {
579 						document.selection.empty();
711 			document.getElementsByTagName('body')[0].appendChild(p.boxB);