jscripts/help.js

   1 function toggleToc() {\r
   2         //var tocmain = document.getElementById('help');\r
   3         var toc = document.getElementById('help');\r
   4         var showlink=document.getElementById('showlink');\r
   5         var hidelink=document.getElementById('hidelink');\r
   6         if(toc.style.display == 'none') {\r
   7                 toc.style.display = tocWas;\r
   8                 hidelink.style.display='';\r
   9                 showlink.style.display='none';\r
  10                 //tocmain.className = '';\r
  11 \r
  12                 var help = document.getElementById('help-title');\r
  13                 help.className = '';\r
  14 \r
  15         } else {\r
  16                 tocWas = toc.style.display;\r
  17                 toc.style.display = 'none';\r
  18                 hidelink.style.display='none';\r
  19                 showlink.style.display='';\r
  20                 //tocmain.className = 'tochidden';\r
  21 \r
  22                 var help = document.getElementById('help-title');\r
  23                 help.className = 'line';\r
  24         }\r
  25 }\r