Johannes wrote:
[paste]
On Fr, 13 Feb 2009 20:33, corvid wrote:
> There is also a problem with the lately introduced font_min_size > while having set font-size for * in style.css.
I just gave it a try and it seemed to be working for me. What is it doing wrong?
I have set these values in dillorc: font_min_size=10 font_max_size=12
For font_max_size, I used the attached patch.
My style.css looks like this:
* { font-family: ProFont !important; font-size: 9pt; }
body { background-color: white !important; }
Now every font size is supposed to be between 10pt and 12pt (the font-size: 9pt should be overwritten by font_min_size). But if I now visit heise.de, there is text which is even smaller than 9pt. I have selected the specific range in this screenshot: http://img5.imageshack.us/img5/1082/200902131918591280x800sok3.png
Any ideas on how to fix this?
Ah, I believe font_min_size is in pixels.
That is possible, but setting font_min_size and font_max_size to a higher value (e.g. 50 and 100) does not fix this issue. When having disabled the style.css, the font sizes are the same as before.
I think this is some sort of weirdness with either ProFont, fltk or both in combination. I can't get ProFont working at all. It only shows 1px high lines. Can you confirm that the font_min_size works properly with non-bitmap fonts? Regarding font_max_size I wasn't sure whether we want another option or should just set a reasonable fixed upper limit. But now that someone even made a patch for font_max_size it seems a good idea to have an option...
When I quickly tried font_min_size of 30 and nothing about fonts in my style.css, I saw regular-sized fonts as well. (I'd never even heard of ProFont.)