I have tried many things but seems like the only way to make the Unity GUI bigger on linux is by changing the GTK scale which can be only integers... Problem is that multipl