On Monday, October 7, 2019 at 4:59:26 PM UTC+2, Mark S. wrote: > > I'm startled that you think an accessibility issue is just "curious". > > I can only assume you have much better vision than I do. >
>From your fist post: >But is there a way to just change the editor font? > At the moment ... no, but we could add one, which makes configuration and the default CSS settings, for the base theme, more complex. >Changing the overall font means that the title and sidebar look wrong. > >From my point of view, this is a convenience setting. ... which depends on the actual values you intend to use. Can you give an example which settings you would prefer? Font size Line height Font size for tiddler body Line height for tiddler body So we have a chance to reproduce it. -mario -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/566e2e62-b477-4314-a5da-7c823189bb4f%40googlegroups.com.
