--- slidy.js    2007-05-09 20:52:16.000000000 +0530
+++ slidy.js-NEW        2007-07-07 20:51:39.000000000 +0530
@@ -2141,9 +2141,9 @@
 {
   if (toc)
   {
-    if (toc.style.visible != "visible")
+    if (toc.style.visibility != "visible")
     {
-      toc.style.visible = "visible";
+      toc.style.visibility = "visible";
       toc.style.display = "block";
       toc.focus();

@@ -2157,9 +2157,9 @@

 function hideTableOfContents()
 {
-  if (toc && toc.style.visible != "hidden")
+  if (toc && toc.style.visibility != "hidden")
   {
-    toc.style.visible = "hidden";
+    toc.style.visibility = "hidden";
     toc.style.display = "none";

     try