--- script.orig.js 2009-09-03 12:07:38.000000000 -0700
+++ script.js 2009-09-03 12:08:23.000000000 -0700
@@ -203,12 +203,18 @@
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 = '−';
- obj.className = 'toc_close';
obj.style.cursor = 'pointer';
+ if (toc && toc.style.display == 'none') {
+ obj.innerHTML = '+';
+ obj.className = 'toc_open';
+ } else {
+ obj.innerHTML = '−';
+ obj.className = 'toc_close';
+ }
prependChild(header,obj);
obj.parentNode.onclick = toggleToc;