From 84c53e5ada85aa64a9a64ae7ad5e43a80cb6dca3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 6 Jul 2008 02:55:22 +0000 Subject: [PATCH] try a different pair of characters for expanded/collapsed toc entries svn: r10626 original commit: f4342ce47cac570d746fd4e423aad3a527e550a8 --- collects/scribble/html-render.ss | 2 +- collects/scribble/scribble-common.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 668b479d..88b39e19 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -385,7 +385,7 @@ [title "Expand/Collapse"] [class "tocviewtoggle"] [onclick ,(format "TocviewToggle(this,\"~a\");" id)]) - ,(if expand? 9662 9654)))) + ,(if expand? 9660 9658)))) (td () ,@num) (td () ,@title)))) `(div ([class "tocviewlist"] diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js index 258e791a..91250e4c 100644 --- a/collects/scribble/scribble-common.js +++ b/collects/scribble/scribble-common.js @@ -59,7 +59,7 @@ function TocviewToggle(glyph,id) { var s = document.getElementById(id).style; var expand = s.display == "none"; s.display = expand ? "block" : "none"; - glyph.innerHTML = expand ? "▾" : "▶"; + glyph.innerHTML = expand ? "▼" : "►"; } // `noscript' is problematic in some browsers (always renders as a