Achicando un poco las barras de menues y botones, y mejorando el menu GTK3