Hi, I'll have a look first and will let know!
Thx, Arie 2018-06-10 7:15 GMT+02:00 Alexander Burger <a...@software-lab.de>: > On Sun, Jun 10, 2018 at 07:04:44AM +0200, Alexander Burger wrote: > > In the DB GUI of the wiki (you get there after logging in, and going to > "My > > account"), there is a menu entry "Upload". Here you can upload another > logo or > > CSS file. > > Another, probably simpler and safer way, is if you send me a modified CSS > file > (starting from the current, latest, version), and I add it to the sources