move noscript hack to scribble-common.js

svn: r9961

original commit: 11973e16dfcee9bb4aac2620d19f5082bc580e84

collects/scribble/html-render.ss

@@ -106,11 +106,6 @@
 
 #reader scribble/reader (begin ; easier to format
 
-(define mynoscript-setup
-  @inlined-script{
-    document.write('<style>mynoscript { display:none }</style>');
-  })
-
 (define search-script
   @inlined-script{
     var search_nodes = null;
@@ -528,7 +523,6 @@
                  (meta ([http-equiv "content-type"]
                         [content "text-html; charset=utf-8"]))
                  ,title
-                 ,mynoscript-setup
                  ,(scribble-css-contents style-file  css-path)
                  ,(scribble-js-contents  script-file script-path))
                (body () ,@(render-toc-view d ri)

collects/scribble/scribble-common.js

@@ -39,3 +39,7 @@ function DoSearchKey(event, field) {
     location = u + "?q=" + escape(val);
   }
 }
+
+// `noscript' is problematic in some browsers (always renders as a
+// block), use this hack instead
+document.write("<style>mynoscript { display:none; }</style>");