Hi Alex,
To use the dark themes for the GUI mentioned in http://docs.basex.org/wiki/Graphical_User_Interface#Look_and_Feels, I downloaded JTattoo-1.6.11.jar and placed it in BaseX/lib.
Upon restarting the GUI, I go to Options/Preferences/Visualization/Look & Feel, where I expect to see the additional themes provided by JTattoo. However, none of them show up in the drop-down menu.
Is there something else I need to do?
It's known to work fine on our machines. How did you restart the GUI? Did you use a starter script that is aware of the jars in the lib directory?
Best, Christian