Am Wed, Jan 19, 2022 at 12:53:00AM +0100 schrieb Ludovic Courtès: > I added a language menu in the on-line HTML manual that you can see in > the top-right corner of manual pages: > (CSS needs to be fixed so the menu item colors look right.)
Very nice! Concerning CSS, how about changing the colour of the symbol to white, or if you insist on some colour, the Guix orange? Dark blue on black is not very accessible. After ten days of clouds, there are now rays of sunlight in my office, and without the little white triangle the button would be invisible ;-) Andreas
