[bug#69783] [PATCH] doc: build: Update paths to style sheets.

[pelzflorian (Florian Pelz)]

Hello Giovanni and thank you for spending time on bug management.

What I wanted from the maintainers is not the reason why
https://guix.gnu.org/manual/ still has the wrong CSS paths.

I had pushed to guix-artwork.git and guix.git without waiting for
maintainers with push authorization to maintenance.git, because I wanted
to fix tabification myself and cause less bother.  Sorry to you that I
did cause inconvenience to you.

I wanted from the maintainers specifically that maintenance.git’s
hydra/nginx/berlin.scm treats /themes the same way as /static.

I believe this would change server-side cache times to be the same for
/themes and for /static.  Regardless of whether they are the same,
server-side cacheing causes the current disruption of the CSS of the
/manual hub page.  I was not sure this would happen, but accept it and
hope the cache issue is gone by itself by tomorrow.

Regards,
Florian