Re: Dillo-dev Digest,v19#12 UI font size
Plmalternate Plmalternate <[email protected]>
| Newsgroups | gmane.comp.web.dillo.devel |
|---|---|
| Message-ID | <CAB2o_TFyq3TvWap=jpcz1K_5Dt2kRUV2gKnUyAGZOa78ifAGUQ@mail.gmail.com> |
> From: Jorge Arellano Cid <[email protected]> > There's also "font_min_size". I use this in my dillorc: > > # Minimum font size > font_min_size=18 Thank you, sir. I have that set also. It affects only the text size of the content of the html document (e.g., a web page) for me. UI font is unaffected for me. Can anyone confirm that they have enlarged the font size SPEFICALLY of the UI? I'm not averse to recompiling but I don't know where to look in the source code.