fixed formatting error

Ignore-this: 51519bbdfd098118a98af03b5c64ea0d

darcs-hash:20091128113505-7ad00-cc51871bb7f7921683507e08dd800061fbcfbbee.gz

lib/scripts/script.js

@@ -206,11 +206,11 @@ function addTocToggle() {
     obj.id           = 'toc__toggle';
     obj.style.cursor = 'pointer';
     if (toc && toc.style.display == 'none') {
-	obj.innerHTML    = '<span>+</span>';
-	obj.className    = 'toc_open';
+        obj.innerHTML    = '<span>+</span>';
+        obj.className    = 'toc_open';
     } else {
-	obj.innerHTML    = '<span>&minus;</span>';
-	obj.className    = 'toc_close';
+        obj.innerHTML    = '<span>&minus;</span>';
+        obj.className    = 'toc_close';
     }
 
     prependChild(header,obj);