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. ♪♫ Alex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe