
<?
$usr = $_SERVER["HTTP_USER_AGENT"];
if (!(strstr(strtolower($usr), "mac") && strstr(strtolower($usr), "msie")))
echo "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \"http://www.w3.org/TR/html4/strict.dtd\">\n";
?>
<html>
...

The rest of the page goes here of course :)

...
</html>