The following snippet, with or without the DOCTYPE declaration, renders the <pre>
content slightly differently, i.e., the without-DOCTYPE version renders the <pre>
content with less height.
<!-- <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" -->
<!-- "http://www.w3.org/TR/html4/strict.dtd"> -->
<html>
<head>
</head>
<body>
<pre>1</pre>
</body>
</html>
What causes this difference?