Bug 457230: HTML2TextReader mangles bold style ranges after <pre>
2 files changed