Dr. Nikolaus Klepp composed on 2020-03-21 19:28 (UTC+0100):

> Anno domini 2020 Sat, 21 Mar 14:19:11 -0400 Felix Miata scripsit:

>> I only ever use the default (none) theme. Have you tried it?

>> 	UseTheme=false

>> I make the fonts bigger, 24, 16, 18. Everything is concentrated nicely into a
>> smallish target, yet everything is a nice easy to use largish size.

> This is funny: "UseTheme=false" actually forced TDM to use the theme :
Hmmm. Sometimes I just comment it. I also comment away or make empty

	Theme=

> Anyway, this works now. Any idea how to set DPI value to 96 DPI ?

For DPI on Debian & derivatives I put xrandr --dpi <NUM> in /etc/X11/95-setup.
-- 
Evolution as taught in public schools is religion, not science.

 Team OS/2 ** Reg. Linux User #211409 ** a11y rocks!

Felix Miata  ***  http://fm.no-ip.com/