/* This should be included in all documents: When loaded, this will: 1. Add an onload listener to the window. 2. When the data is loaded, it will send body.innerHTML to the parent window. 3. The parent window can then display it as data. NOTE: Make sure that the document has a tag!!! */ function sendData() { var bodyEl = document.getElementsByTagName("body")[0]; setLinkTargets( bodyEl, 'docs' ); if (window.parent.handleRPCData) { window.parent.handleRPCData( bodyEl.innerHTML ); } } function setLinkTargets( el, targetWindowName ) { var allLinks = el.getElementsByTagName('a'); var u = allLinks.length; for (var i=0; i