2 files changed, 149 insertions, 0 deletions
diff --git a/docs/tool/Help/javascript/BrowserStyles.js b/docs/tool/Help/javascript/BrowserStyles.js
new file mode 100644
index 00000000..71666418
--- /dev/null
+++ b/docs/tool/Help/javascript/BrowserStyles.js
@@ -0,0 +1,77 @@
+
+//
+//  Browser Styles
+// ____________________________________________________________________________
+
+var agt=navigator.userAgent.toLowerCase();
+var browserType;
+var browserVer;
+
+if (agt.indexOf("opera") != -1)
+    {
+    browserType = "Opera";
+
+    if (agt.indexOf("opera 5") != -1 || agt.indexOf("opera/5") != -1)
+        {  browserVer = "Opera5";  }
+    else if (agt.indexOf("opera 6") != -1 || agt.indexOf("opera/6") != -1)
+        {  browserVer = "Opera6";  }
+    else if (agt.indexOf("opera 7") != -1 || agt.indexOf("opera/7") != -1)
+        {  browserVer = "Opera7";  }
+    }
+
+else if (agt.indexOf("khtml") != -1 || agt.indexOf("konq") != -1 || agt.indexOf("safari") != -1)
+    {
+    browserType = "KHTML";
+    }
+
+else if (agt.indexOf("msie") != -1)
+    {
+    browserType = "IE";
+
+    if (agt.indexOf("msie 4") != -1)
+        {  browserVer = "IE4";  }
+    else if (agt.indexOf("msie 5") != -1)
+        {  browserVer = "IE5";  }
+    else if (agt.indexOf("msie 6") != -1)
+        {  browserVer = "IE6";  }
+    else if (agt.indexOf("msie 7") != -1)
+        {  browserVer = "IE7";  }
+    }
+
+else if (agt.indexOf("gecko") != -1)
+    {
+    browserType = "Gecko";
+    }
+
+// Opera already taken care of.
+else if (agt.indexOf("mozilla") != -1 && agt.indexOf("compatible") == -1 && agt.indexOf("spoofer") == -1 &&
+           agt.indexOf("webtv") == -1 && agt.indexOf("hotjava") == -1)
+    {
+    browserType = "Netscape";
+
+    if (agt.indexOf("mozilla/4") != -1)
+        {  browserVer = "Netscape4";  }
+    }
+
+
+function OpeningBrowserTags()
+    {
+    if (browserType)
+        {
+        document.write('<div class='+browserType+'>');
+
+        if (browserVer)
+            {  document.write('<div class='+browserVer+'>');  }
+        }
+    };
+
+function ClosingBrowserTags()
+    {
+    if (browserType)
+        {
+        document.write('</div>');
+
+        if (browserVer)
+            {  document.write('</div>');  }
+        }
+    };
diff --git a/docs/tool/Help/javascript/PNGHandling.js b/docs/tool/Help/javascript/PNGHandling.js
new file mode 100644
index 00000000..ab47a538
--- /dev/null
+++ b/docs/tool/Help/javascript/PNGHandling.js
@@ -0,0 +1,72 @@
+// Parts derived from:
+//    Opacity Displayer, Version 1.0
+//    Copyright Michael Lovitt, 6/2002.
+//    Distribute freely, but please leave this notice intact.
+//    http://www.alistapart.com/articles/pngopacity/
+
+// Parts derived from:
+//    Natural Docs
+//    Copyright (C) 2003-2004 Greg Valure
+//    http://www.naturaldocs.org/
+
+
+var pngTransform;
+var pngNormal;
+
+var agt=navigator.userAgent.toLowerCase();
+
+if (agt.indexOf("opera") != -1)
+    {
+    if ( (agt.indexOf("opera 5") != -1 || agt.indexOf("opera/5") != -1) &&
+         agt.indexOf("mac") != -1)
+        {
+        pngNormal = 1;
+        }
+    else if (agt.indexOf("opera 6") != -1 || agt.indexOf("opera/6") != -1 ||
+               agt.indexOf("opera 7") != -1 || agt.indexOf("opera/7") != -1)
+        {
+        pngNormal = 1;
+        }
+    }
+
+else if (agt.indexOf("msie") != -1)
+    {
+    if (agt.indexOf("msie 5.5") != -1 || agt.indexOf("msie 6") != -1)
+        {
+        if (agt.indexOf("mac") != -1)
+            {  pngNormal = 1;  }
+        else if (agt.indexOf("win") != -1)
+            {  pngTransform = 1;  };
+        }
+
+    else if (agt.indexOf("msie 5") != -1)
+        {
+        if (agt.indexOf("mac") != -1)
+            {  pngNormal = 1;  };
+        }
+
+    else if (agt.indexOf("msie 7") != -1)
+        {  pngNormal = 1;  }
+    }
+
+else if (agt.indexOf("gecko") != -1)
+    {
+    pngNormal = 1;
+    }
+
+
+function PNGGIF(strPath, intWidth, intHeight, strAlt, strID)
+    {
+    if (pngTransform)
+        {
+        document.write('<div style="height:'+intHeight+'px;width:'+intWidth+'px;filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src=\''+strPath+'.png\', sizingMethod=\'scale\')" id="'+strID+'"></div>');
+        }
+    else if (pngNormal)
+        {
+        document.write('<img src="'+strPath+'.png" width="'+intWidth+'" height="'+intHeight+'" alt="'+strAlt+'" id="'+strID+'"/>');
+        }
+    else
+        {
+        document.write('<img src="'+strPath+'.gif" width="'+intWidth+'" height="'+intHeight+'" alt="'+strAlt+'" id="'+strID+'" />');
+        }
+    };