I have only tested on mobile. The language menu is always visible and takes up the whole screen. We should hide the menu by default. Is that what the icon is supposed to do? If possible, the links should go to the same page in the other language, but that might be difficult.

Le 19 janvier 2022 00:53:00 GMT+01:00, "Ludovic Courtès" <ludo@gnu.org> a écrit :
Hello Guix!

I added a language menu in the on-line HTML manual that you can see in
the top-right corner of manual pages:

  https://guix.gnu.org/manual/devel/es/html_node/Empezando.html
  https://guix.gnu.org/manual/devel/ru/guix.ru.html

(CSS needs to be fixed so the menu item colors look right.)

This is done with these two commits:

  https://git.savannah.gnu.org/cgit/guix.git/commit/?id=7eb883b7c284c78cc17093bfc4ef2d70e0acad83
  https://git.savannah.gnu.org/cgit/guix/guix-artwork.git/commit/?id=db26102d4149a3a857701add00d23bdf38e21911

I think eventually we could also add explicit links to, say, report
translation errors or other issues.

Let me know what you think!

Ludo’.