On Wed, 17 Aug 2022, Paul Heinlein wrote: > These days, I'd be more likely to draw lines with CSS rather than with the > <hr> tag, but YMMV. Paul, I saw that mentioned in a stackexchange thread. I'll learn how to do that. Thanks, Rich