<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN"> <html> <head> <title>[1423252] missing text node, and font propagation</title> </head> <body> <font color="red">a <dl>b</dl> <dt>c </body> </html>