I've committed the overline and variable line width patch from Martin Sevior <[EMAIL PROTECTED]>. There is a known problem with the overline attribute and the clipboard, but Martin's looking into that, and I wanted to get his code merged into the tree as soon as I could (so we don't have to keep large diffs to the trees). -- Shaw Terwilliger
