In theory, there should be a dark red border on the outside, a green border then a blue/gray border around the content of his page. This isn't the case. So, even IE's own selector doesn't seem to work.

In good browsers, you should see only red borders around the HTML and body elements.

Note: it seems that only IE6 can see the green border. Very peculiar.