From ce9a7be447f41e10280ef145ed1cd8878eaf9c11 Mon Sep 17 00:00:00 2001
From: Anika Henke <a.c.henke@arcor.de>
Date: Wed, 16 May 2007 00:31:40 +0200
Subject: typographically correct minus sign in toc toggle (yet even bigger)

darcs-hash:20070515223140-d5083-240785145d88259304d4e6a0df776864e53f5dd8.gz
---
 lib/scripts/script.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/scripts')

diff --git a/lib/scripts/script.js b/lib/scripts/script.js
index 21a3ae8f7..7e565e1cb 100644
--- a/lib/scripts/script.js
+++ b/lib/scripts/script.js
@@ -245,7 +245,7 @@ function addTocToggle() {
 
     var obj          = document.createElement('span');
     obj.id           = 'toc__toggle';
-    obj.innerHTML    = '<span>&#8211;</span>';
+    obj.innerHTML    = '<span>&minus;</span>';
     obj.className    = 'toc_close';
     obj.style.cursor = 'pointer';
 
@@ -265,7 +265,7 @@ function toggleToc() {
   var obj = $('toc__toggle');
   if(toc.style.display == 'none') {
     toc.style.display   = '';
-    obj.innerHTML       = '<span>&#8211;</span>';
+    obj.innerHTML       = '<span>&minus;</span>';
     obj.className       = 'toc_close';
   } else {
     toc.style.display   = 'none';
-- 
cgit v1.2.3