diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 4808c401..ea15744e 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -721,7 +721,9 @@ [(script-element? e) `((script ([type ,(script-element-type e)]) ,(apply literal `("\n" ,@(script-element-script e) "\n"))) - (mynoscript ,@(render-plain-element e part ri)))] + ;; mynoscript hack doesn't always work (see hack in scribble-common.js) + (noscript ,@(render-plain-element e part ri)) + )] [(target-element? e) `((a ([name ,(format "~a" (anchor-name (tag-key (target-element-tag e) ri)))])) diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js index 859654a6..507f914f 100644 --- a/collects/scribble/scribble-common.js +++ b/collects/scribble/scribble-common.js @@ -56,5 +56,5 @@ function DoSearchKey(event, field, ver) { } // `noscript' is problematic in some browsers (always renders as a -// block), use this hack instead -document.write(""); +// block), use this hack instead (does not always work!) +// document.write("");