On 2015-Nov-19, Patrick Shanahan wrote with possible deletions:
> > I still find the default fonts way too small, and the usual solution
> > [2] does not work any more.
>
> I copy /usr/share/darktable/darktable.css to ~/.config/darktable/ and
> alter:
> font-size: 1.7em;
> to: font-size: 1.8em;
Ah, so it's CSS now. For me, doing the proposed change only affects
the Darktable/Lighttable/Tethering/... headlines on the top right,
nothing else (`font-size` appears only once on line 162).
But I've changed line 17:
font: Sans 10;
which really is nicer. Thanks for the tip.
I've tried to change some things in the CSS, but realise that without
detailed knowledge of how the GTK widgets are organised, this is
probably hopeless.
Regards
Stefan
--
http://stefan-klinger.de o/X
Send plain text messages only, not exceeding 32kB. /\/
\
------------------------------------------------------------------------------
_______________________________________________
Darktable-users mailing list
Darktable-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/darktable-users
