I've just modified the Style Sheet to take the new menu-separator into
account. For v1.0.2, the new Style Sheet applies to all docs. That
means that the old "->" character sequence shall be replaced with the
menu separator for v1.0.2 [or v1.0.3, which would be a doc-update
only].
BTW: I *like*
> "John" == John Weiss <[EMAIL PROTECTED]> writes:
John> --EVF5PPMfhYS0aIcm Content-Type: text/plain; charset=us-ascii
John> I've just modified the Style Sheet to take the new
John> menu-separator into account. For v1.0.2, the new Style Sheet
John> applies to all docs. That means that the
