TOC toggle usability fix

Changes:
1. click event handler moved to the toc__header, because plus and minus signs are too small and not usable because of this
2. minus sign replaced with the bigger one, see http://debugger.ru/temp/cross-plus-9x9.html testcases
3. added the pointer cursor to the toc header

darcs-hash:20070515045800-00f02-ed34ebd337c66e3bac731f300f2ce385f64f5e21.gz

1 files changed, 7 insertions, 3 deletions

diff --git a/lib/scripts/script.js b/lib/scripts/script.js
index f03bc4b75..21a3ae8f7 100644
--- a/lib/scripts/script.js
+++ b/lib/scripts/script.js
@@ -245,12 +245,16 @@ function addTocToggle() {
 
     var obj          = document.createElement('span');
     obj.id           = 'toc__toggle';
-    obj.innerHTML    = '<span>-</span>';
+    obj.innerHTML    = '<span>&#8211;</span>';
     obj.className    = 'toc_close';
-    obj.onclick      = toggleToc;
     obj.style.cursor = 'pointer';
 
     prependChild(header,obj);
+    obj.parentNode.onclick = toggleToc;
+    try {
+       obj.parentNode.style.cursor = 'pointer';
+       obj.parentNode.style.cursor = 'hand';
+    }catch(e){}
 }
 
 /**
@@ -261,7 +265,7 @@ function toggleToc() {
   var obj = $('toc__toggle');
   if(toc.style.display == 'none') {
     toc.style.display   = '';
-    obj.innerHTML       = '<span>-</span>';
+    obj.innerHTML       = '<span>&#8211;</span>';
     obj.className       = 'toc_close';
   } else {
     toc.style.display   = 'none';