make site: fix for pop-up help

original commit: 5c17488d4ca4dd141261a97972dd93598450c571
This commit is contained in:
Matthew Flatt 2013-11-11 09:50:24 -07:00
parent aec79d1db5
commit d5a644f8f2

View File

@ -126,7 +126,7 @@
(define (get-site-help last-col)
(let ([h (hash-ref site-help last-col #f)])
(if h
(let* ([id "help"]
(let* ([id (~a "help" (gensym))]
[toggle (let ([elem (~a "document.getElementById" "('" id "')")])
(~a elem ".style.display = ((" elem ".style.display == 'inline') ? 'none' : 'inline');"
" return false;"))])