On Sun, Feb 15, 2009 at 07:16:55PM +0000, corvid wrote:
Jorge wrote:
On Sun, Feb 15, 2009 at 05:07:28PM +0000, corvid wrote:
Johannes wrote:
On Sat, Feb 14, 2009 at 04:07:15PM +0000, corvid wrote:
Johannes wrote:
On Sun, Feb 01, 2009 at 07:20:33PM +0000, corvid wrote: > I was just looking at some of the prefs that I > don't think are doing anything right now, e.g., > link_color, force_my_colors... > I could stuff them into buildUserStyle(), but > I don't know which should prevail in case of > conflicts. > > I can't remember whether I've already mentioned that > I've been wondering whether it might be reasonable to > rip a bunch of color stuff out of dillorc and expect > a dillo user to be able to deal with a well-commented > sample style.css instead.
Good point. I always favor simplicity so I think we should have just one way to modify the style. Having two (style.css and preferences) just adds confusion. We need to document this properly as you said.
If I have a style.css containing:
* {font-size: 30px}
and a page containing:
regular regular <span>large</span>
Can it be interpreted as "make everything big"?
Sorry, I think I don't fully understand the question.
* {font-size: 30px !important}
would set a fixed font size of 30px. The <span> itself doesn't alter it. What am I missing?
If I do this, it doesn't use 30px until the first tag it sees.
BTW, there's BUG#892 (prefs' bg_color is not working).
Speaking of which, the submitter tells me that font_min_size doesn't work sometimes. Pasted in:
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... Cheers, Johannes