1<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
2<html>
3<head>
4<title>[1423252] missing text node, and font propagation</title>
5</head>
6<body>
7<font color="red">a
8<dl>b</dl>
9<dt>c
10</body>
11</html>
12