Hi, The 1.2 series had much smaller fonts by default for labels that appear above the editor and file selector panes and to the left of the messages area than the 1.3 series does. Is there any way to revert to the older, more compact layout? Something I can do in geany.css, perhaps? Thanks!