handle initially closed TOC correctly in addTocToggle FS#1747

Ignore-this: 83a047410a74913576745a320c55a226

darcs-hash:20091004091127-1b5fc-6cf4cf3aefb7f851e48ea15636732b716b4372ef.gz

lib/scripts/script.js

@@ -200,12 +200,18 @@ function addTocToggle() {
     if(!document.getElementById) return;
     var header = $('toc__header');
     if(!header) return;
+    var toc = $('toc__inside');
 
     var obj          = document.createElement('span');
     obj.id           = 'toc__toggle';
-    obj.innerHTML    = '<span>&minus;</span>';
-    obj.className    = 'toc_close';
     obj.style.cursor = 'pointer';
+    if (toc && toc.style.display == 'none') {
+	obj.innerHTML    = '<span>+</span>';
+	obj.className    = 'toc_open';
+    } else {
+	obj.innerHTML    = '<span>&minus;</span>';
+	obj.className    = 'toc_close';
+    }
 
     prependChild(header,obj);
     obj.parentNode.onclick = toggleToc;