Theming machinery is currently in flux. To change fonts sizes, open @theme Breeze Dark-->Settings for Leo Breeze Dark-->Fonts & text sizes and you can change font sizes for the three panes. I haven't abstracted the "default" font size that applies to a few things yet, but when I do font sizes will be changeable in the same place.
Chris On Thursday, March 15, 2018 at 12:19:55 PM UTC-7, rengel wrote: > > > <https://lh3.googleusercontent.com/-nUKEbBk5QGA/WqrHK0wNXkI/AAAAAAAAAIA/h5TXM1lJlRoQzxoqGVcbeTg4IHnBKKrqQCLcBGAs/s1600/BreezeDark.png> > > Figured it out. > For anybody interested: > Open 'Breeze Dark Theme.leo' in Leo. > Copy the node '@theme Breeze Dark'. > Open 'myLeoSettings.leo'. > Paste the node as the last child of '@settings'. > Save and restart. > > Still, no the results expected. Font sizes are different, but don't have > the values set under 'Basic Fonts' and the icons/arrows to open/close nodes > are invisible. > > > > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.