diff --git a/collects/scribblings/main/private/utils.ss b/collects/scribblings/main/private/utils.ss index 64b1f426a7..bdc3b7b585 100644 --- a/collects/scribblings/main/private/utils.ss +++ b/collects/scribblings/main/private/utils.ss @@ -40,7 +40,7 @@ ;; the second argument specifies installation/user specific, and if ;; it's missing, then it's a page with a single version -(define (main-page id [installation-specific? '?]) +(define (main-page id [installation-specific? '?] #:force-scheme-css? [force-scheme-css? #f]) (define info (page-info id)) (define title-string (car info)) (define root (cadr info)) @@ -53,9 +53,8 @@ (define page-title (title #:style (make-style #f (cons 'no-toc - (if user-doc? + (if (not force-scheme-css?) null - ;; Ensure that "scheme.css" gets installed in the shared location: (list (make-css-addition (build-path (collection-path "scribble") "scheme.css")))))) diff --git a/collects/scribblings/main/search.scrbl b/collects/scribblings/main/search.scrbl index 08ad589b9c..b40ae81531 100644 --- a/collects/scribblings/main/search.scrbl +++ b/collects/scribblings/main/search.scrbl @@ -2,6 +2,8 @@ @(require "private/utils.ss" "private/make-search.ss") -@main-page['search #t] +@main-page['search #t + ;; "scheme.css" needs to be installed for search results: + #:force-scheme-css? #t] @make-search[#f] diff --git a/collects/scribblings/main/start.scrbl b/collects/scribblings/main/start.scrbl index dce75d7a4d..1e80b425fd 100644 --- a/collects/scribblings/main/start.scrbl +++ b/collects/scribblings/main/start.scrbl @@ -3,7 +3,9 @@ "private/utils.ss" "private/manuals.ss") -@main-page['start #t] +@main-page['start #t + ;; "scheme.css" needs to be installed so it can be shared: + #:force-scheme-css? #t] @margin-note{ @not-on-the-web{ diff --git a/collects/scribblings/main/user/search.scrbl b/collects/scribblings/main/user/search.scrbl index 7a05965ac4..4a951c58da 100644 --- a/collects/scribblings/main/user/search.scrbl +++ b/collects/scribblings/main/user/search.scrbl @@ -2,6 +2,8 @@ @(require "../private/utils.ss" "../private/make-search.ss") -@main-page['search #f] +@main-page['search #f + ;; "scheme.css" needs to be installed for search results: + #:force-scheme-css? #t] @make-search[#t]