rlook.html (1352B)
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 RefLook</title> 7 <meta name="generator" content="BBEdit 8.6"> 8 <style type="text/css"> 9 <!-- 10 body { 11 margin-left: 0.5em; 12 margin-right: 0; 13 background-color: #eee; 14 } 15 ul { 16 margin-left: 0; 17 padding-left: 1.1em; 18 } 19 li { 20 margin-bottom: 0.4em; 21 } 22 ul.sub { 23 padding-left: 0.5em; 24 font-size: 75%; 25 } 26 ul.sub li { 27 margin-bottom: 0.3em; 28 } 29 input { 30 margin-top: 0.3em; 31 } 32 --> 33 </style> 34 <script type="text/javascript" language="javascript"> 35 <!-- 36 function searchKeyup(searchField) { 37 try { 38 var sWord = searchField.value; 39 if (sWord) { 40 var sUrl; 41 if (sWord == "NIL") { 42 sUrl = "ref.html#nilSym"; 43 } else if (sWord.match(/^[a-zA-Z_]/)) { 44 sUrl = "ref" + sWord.substring(0, 1).toUpperCase() + ".html#" + sWord; 45 } else if (sWord.match(/^\*[a-zA-Z_]/)) { 46 sUrl = "ref" + sWord.substring(1, 2) + ".html#" + sWord; 47 } else { 48 sUrl = "ref_.html#" + sWord; 49 } 50 window.top.lower.location = sUrl; 51 } 52 } catch (e) { 53 alert(e); 54 } 55 } 56 //--> 57 </script> 58 </head> 59 <body> 60 <ul> 61 <li> 62 <a href="ref.html" target="lower">Reference</a> lookup<br> 63 <input type="text" size="13" onkeyup="searchKeyup(this)"> 64 </li> 65 </ul> 66 </body> 67 </html>