Absolute font sizes are definitively no nice thing.  Can you get rid of them and use relative sizes instead?

In general I agree with you about absolute font sizes.  The reason they're acceptable in this situation is the text in question is just the navigation stuff (previous/next and language links, etc) which isn't really meant to be read.

Also, the fixed size comes in handy here because the existing style sheets already set the body font to a relative size.  If that size gets changed at some future time, it would impact how the navigation lays out.  This already happened once recently.

If you disagree, please change "8pt" to "75%" in style-manual.css and then apply it.

Thanks.

Well one should never use pt on web since those are mostly only ment for printing ;)

Helgi, please provide a citation regarding "pt" in CSS being meant for printed matter.  It's not mentioned in the CSS 1 recommendation, that's for sure.

When fixed size fonts are needed (as I believe they are in this case), pt is the way to go because they are more consistently rendered than px.

Martin, even though I'm arguing for pt, it's not THAT big a deal.  Just apply the patch with the existing 8pt or substituting 75% and I'll be happy.

Thanks.

Commited.

I changed the absolute font sizes to relative ones and additionally I also "cleaned up" the stylesheet a bit.

(next) (previous) is way to small ... I'm using FireFox on Linux with 1024 res. ;/
But I don't wanna touch the style.css ... Martin will probly never the less reverte that ;D  So Martin make it a little bigger :)

Just making sure.  You just mean the words "(previous)" and "(next)," and not the whole thing, right?  If so, remove the <small> around them.  No need to revert the whole patch.

They look fine to me.  Guess it depends on the base font size in your browser's preferences.  See why I wanted to use pt?  Perhaps try pt and see how it looks?

By the way, my resolution is 1024, browser is a recent Mozilla build, os is Windows, base font size is 20 px.

res. 1024, Firefox 0.8, Linux, basefont 16px;

But well didn't mean he should revert the whole patch ;) Thought this was all defined in CSS since I saw many small tags stripped out ... But I see now there is infact a small tag :)
Well Martin will remove that if the see's a need :)

I removed the <small> tag.

Helgi: If this still turns out to be a problem for you, please come up with a patch.  (I wouldn't mind using absolute font sizes if that _really_ fixes the problem.)

Martin it looks great now :) So no need for a patch ;)