| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> | |
| <title>Help</title> | |
| <script language="JavaScript"> | |
| /** | |
| * Handles Netscape 4.7 resize bug we use on Linux | |
| */ | |
| function resizeFix() | |
| { | |
| window.location.reload(); | |
| } | |
| if (document.layers) | |
| window.onresize = resizeFix; | |
| /** | |
| * Parses the query string. | |
| */ | |
| function parseQueryString (str) | |
| { | |
| //str = str ? str : unescape(document.URL); | |
| str = str ? str : unescape(window.location.href); | |
| var longquery = str.split("?"); | |
| if (longquery.length <= 1) return ""; | |
| var query = longquery[1]; | |
| var args = new Object(); | |
| if (query) | |
| { | |
| var fields = query.split('&'); | |
| for (var f = 0; f < fields.length; f++) | |
| { | |
| var field = fields[f].split('='); | |
| args[unescape(field[0].replace(/\+/g, ' '))] = unescape(field[1].replace(/\+/g, ' ')); | |
| } | |
| } | |
| return args; | |
| } | |
| /** | |
| * Builds a string from its unicode codes. | |
| * We assume that codes sequence is a comma separated list of unicode codes | |
| */ | |
| function getUnicodeString(codesSequence) | |
| { | |
| if (!codesSequence) return ""; | |
| var unicodeString = ""; | |
| var codes = codesSequence.split(','); | |
| for (var i=0; i<codes.length; i++) | |
| { | |
| unicodeString += String.fromCharCode(codes[i]); | |
| } | |
| return unicodeString; | |
| } | |
| // Get the infoset title (passed in as a comma separated list of unicode codes) | |
| var args = parseQueryString (); | |
| var infosetTitle = getUnicodeString(args['title']); | |
| </script> | |
| </head> | |
| <body bgColor="#FFFFFF" style="margin:0;" > | |
| <div style="position:absolute; left:0; top:0; "> | |
| <img border="0" src="helpbanner.gif" width="604" height="45" margin=0> | |
| </div> | |
| <div id="bannerTitle" style="position:absolute; left:10; top:13; font-weight:bold;"> | |
| <script language="JavaScript"> | |
| if (document.getElementById) | |
| { | |
| // code for IE5 and NS6 | |
| var div = document.getElementById("bannerTitle"); | |
| if (div) | |
| { | |
| //div.document.write(infosetTitle); | |
| //div.document.close(); | |
| div.appendChild(document.createTextNode(infosetTitle)); | |
| } | |
| } | |
| else if (document.all) | |
| { | |
| // code for IE4 (even though we require IE5...) | |
| var div = document.all("bannerTitle"); | |
| if (div) | |
| div.document.write(infosetTitle); | |
| } | |
| else if (document.layers) | |
| { | |
| // code for NS4 | |
| if (window.document.bannerTitle) | |
| window.document.bannerTitle.document.write(infosetTitle); | |
| } | |
| </script> | |
| </div> | |
| </body> | |
| </html> |