doc: build: Update paths to style sheets.

The Guix website style sheets are now organized in themes. This change
makes the documentation builder use the resources provided by a theme
called "initial" (See https://issues.guix.gnu.org/69783).

* doc/build.scm (syntax-highlighted-html): Update path to CSS.
(html-manual-indexes): Likewise.
(stylized-html): Likewise, and update path to language picker image.

Change-Id: Ib2d51fcfdec42ad827add1ead1cfee4c9c4e65b7
Signed-off-by: Florian Pelz <pelzflorian@pelzflorian.de>
This commit is contained in:
Luis Felipe 2024-03-15 14:34:22 -05:00 committed by Florian Pelz
parent 93aefca7ba
commit 999bfa0d54
No known key found for this signature in database
GPG key ID: 300888CB39C63817

View file

@ -365,7 +365,7 @@ (define* (syntax-highlighted-html input
#:languages
languages))
(syntax-css-url
"/static/base/css/code.css"))
"/themes/initial/css/code.css"))
"Return a derivation called NAME that processes all the HTML files in INPUT
to (1) add them a link to SYNTAX-CSS-URL, and (2) highlight the syntax of all
its <pre class=\"lisp\"> blocks (as produced by 'makeinfo --html')."
@ -624,7 +624,7 @@ (define* (stylized-html source input
#:key
(languages %languages)
(manual %manual)
(manual-css-url "/static/base/css/manual.css"))
(manual-css-url "/themes/initial/css/manual.css"))
"Process all the HTML files in INPUT; add them MANUAL-CSS-URL as a <style>
link, and add a menu to choose among LANGUAGES. Use the Guix PO files found
in SOURCE."
@ -741,7 +741,7 @@ (define split-node?
(list (menu-dropdown
#:label
`(img (@ (alt "Language")
(src "/static/base/img/language-picker.svg")))
(src "/themes/initial/img/language-picker.svg")))
#:items
(language-menu-items file)))
#:split-node? split-node?)
@ -1141,16 +1141,16 @@ (define (sxml-index language title body)
;; Menu prefetch.
(link (@ (rel "prefetch") (href ,(guix-url "menu/index.html"))))
;; Base CSS.
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/elements.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/common.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/messages.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/navbar.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/breadcrumbs.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/buttons.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/footer.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/elements.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/common.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/messages.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/navbar.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/breadcrumbs.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/buttons.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/footer.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/page.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "static/base/css/post.css")))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/page.css"))))
(link (@ (rel "stylesheet") (href ,(guix-url "themes/initial/css/post.css")))))
(body
(header (@ (class "navbar"))
(h1 (a (@ (class "branding")