Re: UI font size

Jorge Arellano Cid <[email protected]> Fri, 28 Aug 2015 12:10:25 -0300

Newsgroups	gmane.comp.web.dillo.devel
Message-ID	<[email protected]>

On Fri, Aug 28, 2015 at 01:19:59AM +0100, Jeremy Henty wrote:
> 
> Plmalternate Plmalternate wrote:
> 
> > If I could figure  out how to change the UI font size  so it was big
> > enough for me to see, it would be perfect.
> 
> I  do  this by  setting  "font_factor=1.4"  in  dillorc (it  is  under
> "RENDERING SECTION").

  There's also "font_min_size". I use this in my dillorc:

# Minimum font size
font_min_size=18


-- 
  Cheers
  Jorge.-