On Tue, 2019-11-05 at 22:22 +0100, Nicolas Auffray wrote: Looks like I'm having bad day and have to repeat myself once again. I was talking about default Debian 10 installation. This uses 11 pt size like most distro do.
As I said I know that theme is "entirely" CSS adjustable. This is how I fixed it in my case. I just set same font size as in gsettings get org.gnome.desktop.interface font-name. > Hum, have you read what we have said ? It's also related to dpi > rendering, so it is the way that works in GTK (related to font OS > size > and dpi rendering)... What I just add is how on start em, px, etc. > work > with CSS. And the new darktable UI is entirely adjustable by CSS > (colors, fonts, sizes, etc...). > > To help on issue you precise, it would be better having more details > on > your specific configuration, how it really renders on your OS, and > for > example precise what you ask me on start : what size 1em is equal in > darktable on your OS ? And also precise what parafin just ask. > ___________________________________________________________________________ darktable developer mailing list to unsubscribe send a mail to darktable-dev+unsubscr...@lists.darktable.org
