Am Freitag, 20. November 2015, 12:12:04 schrieb Patrick Shanahan: > * dt-l...@stefan-klinger.de <dt-l...@stefan-klinger.de> [11-20-15 11:46]: > > 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. > > I believe the dev's argee
Yes, it's even hopeless when you DO know how the widgets are wrapped. :-(
signature.asc
Description: This is a digitally signed message part.
------------------------------------------------------------------------------ Go from Idea to Many App Stores Faster with Intel(R) XDK Give your users amazing mobile app experiences with Intel(R) XDK. Use one codebase in this all-in-one HTML5 development environment. Design, debug & build mobile apps & 2D/3D high-impact games for multiple OSs. http://pubads.g.doubleclick.net/gampad/clk?id=254741551&iu=/4140
_______________________________________________ Darktable-users mailing list Darktable-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/darktable-users
