diff --git a/lib/scripts/script.js b/lib/scripts/script.js
index 0d445ab5bb52c20395082ea25e3d11fcfe9cc30f..d863e6ceb618411fdcbf17f6d473d926b829dd83 100644
--- a/lib/scripts/script.js
+++ b/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);