diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index b2308ee64d..d5f5ba0904 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -770,8 +770,8 @@ [style (if (with-attributes? raw-style) (with-attributes-style raw-style) raw-style)]) - (if (and (pair? style) (eq? (car style) 'div)) - `((div-hack ,(cdr style) ,@contents)) + (if (and (pair? style) (eq? (car style) 'div-hack)) + `((div ,(cdr style) ,@contents)) `((,(if (string? style) 'div 'p) ,(append (if (string? style) diff --git a/collects/scribblings/main/private/make-search.ss b/collects/scribblings/main/private/make-search.ss index aa9cd55869..fa9ea602da 100644 --- a/collects/scribblings/main/private/make-search.ss +++ b/collects/scribblings/main/private/make-search.ss @@ -188,4 +188,4 @@ (script-ref "search.js") (make-render-element null null (lambda (r s i) (make-script user-dir? r s i))))) - (make-styled-paragraph '() '(div [id "plt_search_container"]))))) + (make-styled-paragraph '() '(div-hack [id "plt_search_container"])))))