2 files changed, 0 insertions, 144 deletions
diff --git a/docs/doctool/Help/javascript/BrowserStyles.js b/docs/doctool/Help/javascript/BrowserStyles.js
deleted file mode 100644
index d7eb360c..00000000
--- a/docs/doctool/Help/javascript/BrowserStyles.js
+++ /dev/null
@@ -1,75 +0,0 @@
-
-//
-//  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("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/doctool/Help/javascript/PNGHandling.js b/docs/doctool/Help/javascript/PNGHandling.js
deleted file mode 100644
index 89698058..00000000
--- a/docs/doctool/Help/javascript/PNGHandling.js
+++ /dev/null
@@ -1,69 +0,0 @@
-// 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("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+'" />');
-        }
-    };