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


Reply via email to