About the wiki theme

[Richard Kimberly Heck]

On 4/13/24 12:51, Lorenzo Bertini wrote:
> Dear devs,
> today I needed to browse the wiki for some time. Some things about the
> theme made it a bit difficult:

No doubt the wiki could use some TLC. I don't know if it's possible just 
to use a different theme, or what.

If you want to experiment, I can get you access to the source code, and 
you can play around with it locally.

Riki