.................................
To leave Commie, hyper to
http://commie.oy.com/commie_leaving.html
.................................
On Fri, 16 Mar 2001, Juuso Koponen wrote:
> >
> > Then again, if you use pixels instead of points, the user can't resize the
> > fonts anymore...
and i recall that if one uses px in css, the fonts are supertiny on
linux. but it doesn't kind of matter 'cause i override all .css/<font>/and
standard fonts on linux netscape anyway (that's just me, there's lots
of linux users who don't do this and they just curse the
supertinypixelwide fonts). if i wanted good fontsize stuff on that worked
on both windoze and linux, i had to use mm in css. but nowadays i don't
change the fontsizes anymore. should be good on all systems.
> Personally I've worked around this by writing a JavaScript that detects
> which browser and OS the user has and then writing a variable with the
> applicable font size.
this is something you should do on serverside. what if javascript is
disabled? like many of us have? there is one good reason to use
javascript for this: if one uses junkbuster, one can define their own
$HTTP_USER_AGENT -string, but javascript will not see that one (and
use the correct value, of course). in this case, serverside scripts will
see the string provided by junkbuster. which is fun, of course.
for example (fun example, that is, not javascript) :
http://priscilla.teraflops.com/jotain/image/sql_error.jpg
don't mind the sql error, that's not interesting, just a programmers
stupid error. see the query itself : SELECT * FROM ROBOTS.. now, that site
thinks my browser isn't a browser, but a robot :)
sakke
--
A dream will always triumph over reality, once it is given the chance.
-- Stanislaw Lem
