Eric,
I see that you've replaced `ThickSpace' with `ensp', apparently just
for Firefox 1.5 -- wouldn't it be better to introduce a command line
option similar to `-b' of grops which provides various workarounds?
Werner
Eric,
I see that you've replaced `ThickSpace' with `ensp', apparently just
for Firefox 1.5 -- wouldn't it be better to introduce a command line
option similar to `-b' of grops which provides various workarounds?
Werner