[Dillo-dev] Font size.

??????? wrote:

How to change font and font size for dillo interface?

Currently, the user interface uses the font_sans_serif preference from dillorc, and the size cannot be adjusted. But perhaps we could add something like the attached...