docs: function(rel, href, doc)
  	{
  		doc = doc || document;
  
  		// Workaround for Operation Aborted in IE6 if base tag is used in head
  		if (mxClient.IS_IE6)
  		{
  			doc.write('<link rel="' + rel + '" href="' + href + '" charset="UTF-8" type="text/css"/>');
  		}
  		else
  		{	
  			var link = doc.createElement('link');
  			
  			link.setAttribute('rel', rel);
  			link.setAttribute('href', href);
  			link.setAttribute('charset', 'UTF-8');
  			link.setAttribute('type', 'text/css');
  			
  			var head = doc.getElementsByTagName('head')[0];
  	   		head.appendChild(link);
  		}
  	}