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

[Luis Felipe]

I see that the changes are live now, thanks.

However, the HTML manual for version 1.4.0 still uses the old paths, so 
the style is currently broken (not horribly broken but still).

I'm not sure if the pending actions that require maintainer intervention 
would fix this, so I'm investigating in the meantime.

(I hope I can help make the Texinfo's HTML versions of the manual easier 
to theme soon)

OpenPGP_0x0AB0D067012F08C3.asc
Description: OpenPGP public key

OpenPGP_signature
Description: OpenPGP digital signature