<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN">
<title>Bug</title>
<style type="text/css">
html* { color: red; }
* { color: green; }
</style>
<p>This line should be green.</p>