bimsebasse wrote:You need to change font more than one place in the .css to fully apply a font change - it's not particularly easy. The font parameter given at "Stage" level only applies to elements which don't have font specified further down in the file.
Did all that ... changed every single instance of 'font-size' (and there were a large number) ... scaled them all proportionately, reset everything, full shutdown and restart ... the end result was absolutely nothing changed.
Will now try to forget the time lost and use the basic Gnome until there is a more satisfactory development in this area.
Shame ... somebody fixed it and somebody unfortunately broke it