On Wed, Jan 21, 2004, Alexander R. Pruss wrote: > But the basic thing is this. <a href="#..."> is supposed to let one go > straight to the <a name="#..."> tag. Currently, it doesn't--it goes back > to the top of the paragraph containing that tag,
You still haven't convinced me that the Plucker format should be changed. You *can* handle this using the current format and I'm quite reluctant to change the format if it's just a "it will look better" improvement. /Mike _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
