Re: [edict-jmdict] Revised WWWJDIC header

["Jim Breen" <jimbreen@*********>]

2008/6/19 Paul Blay <blay.paul@googlemail.com>:

> If the size is stepped up a tad for the Japanese it's a lot
> less strain on my eyes (the colour scheme also makes the
> fine lines harder to see).

I've moved the default up from 0.9em to 1.0em. It seems
to fit OK. The smaller option is still 0.8em.

Is that clearer?

Jim
-- 
Jim Breen
Honorary Senior Research Fellow
Clayton School of Information Technology,
Monash University, VIC 3800, Australia
http://www.csse.monash.edu.au/~jwb/