index.html (2975B)
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" 2 "http://www.w3.org/TR/html4/loose.dtd"> 3 <html> 4 <head> 5 <meta http-equiv="content-type" content="text/html; charset=utf-8"> 6 <title>PicoLisp Docs</title> 7 <meta name="generator" content="BBEdit 8.6"> 8 <script type="text/javascript" language="javascript"> 9 <!-- 10 function frameIdAsVariable(aFrame) { 11 // IE hack 12 // http://www.greymagic.com/security/advisories/gm011-ie/ 13 if (aFrame.name == "toc") return tocfid; 14 if (aFrame.name == "upper") return upfid; 15 } 16 17 function contentDoc(aFrame) { 18 if (aFrame.contentDocument) { 19 return aFrame.contentDocument; 20 } else { 21 var fid = frameIdAsVariable(aFrame); 22 if (fid) { 23 return fid.document; 24 } 25 } 26 alert("Couldn't access a frame's document for this kind of browser."); 27 } 28 29 function doTocSublists(upDoc) { 30 var tocDoc = contentDoc(document.getElementById("tocfid")); 31 var ul = tocDoc.getElementById("upperul"); 32 var oldExp = null; 33 var newSub = null; 34 for (var i=0; i<ul.childNodes.length; i++) { 35 var cni = ul.childNodes[i]; 36 if (cni.firstChild) { 37 // cni.firstChild is an anchor 38 if (cni.firstChild.href == upDoc.URL) { 39 // Found TOC anchor that matches upper document 40 if (upDoc.URL.indexOf("#") < 0) { 41 if (cni.lastChild.nodeName != "UL") { 42 // Expansion required, making sub-list ... 43 newSub = tocDoc.createElement("ul"); 44 newSub.className = "sub"; 45 for (var j=0; j<upDoc.anchors.length; j++) { 46 var ajText = null; 47 if (upDoc.anchors[j].innerText) { 48 ajText = upDoc.anchors[j].innerText; 49 } else if (upDoc.anchors[j].text) { 50 ajText = upDoc.anchors[j].text; 51 } 52 if (ajText) { 53 var li = tocDoc.createElement("li"); 54 var a = tocDoc.createElement("a"); 55 a.href = upDoc.URL + "#" + upDoc.anchors[j].name; 56 a.target = "upper"; 57 a.appendChild(tocDoc.createTextNode(ajText)); 58 li.appendChild(a); 59 newSub.appendChild(li); 60 } 61 } 62 cni.appendChild(newSub); 63 } 64 } 65 } else if (cni.lastChild.nodeName == "UL") { 66 oldExp = cni; 67 } 68 } 69 } 70 if ((oldExp != null) && (newSub != null)) { 71 // Remove old sub-list to save TOC space ... 72 oldExp.removeChild(oldExp.lastChild); 73 } 74 } 75 76 function upperLoad(upperFrame) { 77 try { 78 var upDoc = contentDoc(upperFrame); 79 // First modify the targets of the ref anchors ... 80 var anchors = upDoc.getElementsByTagName("a"); 81 for (var i=0; i<anchors.length; i++) { 82 var ai = anchors[i]; 83 if (ai.href.match(/\/ref\w\.html/)) { 84 ai.target = "lower"; 85 } 86 } 87 doTocSublists(upDoc); 88 } catch (e) { 89 alert(e); 90 } 91 } 92 //--> 93 </script> 94 </head> 95 <frameset cols="15%,85%"> 96 <frameset rows="*,80"> 97 <frame id="tocfid" name="toc" src="toc.html"> 98 <frame name="reflook" src="rlook.html"> 99 </frameset> 100 101 <frameset rows="50%,50%"> 102 <frame id="upfid" name="upper" src="ref.html#fun" onload="upperLoad(this);"> 103 <frame name="lower" src="ref.html"> 104 </frameset> 105 106 </frameset> 107 108 </html>