Google Code prettify

PHP:

$username = $_SERVER['PHP_AUTH_USER'];
$userpass = $_SERVER['PHP_AUTH_PW'];
if (!isset($username)) {
	showLogin();
} else {
	if ($username == "demo" && $userpass == "pass") {
		header("Location: http://blog.unijimpe.net/");
	} else {
		showLogin();
	}
}

HTML

<html>
<head>
<link href="prettify.css" type="text/css" rel="stylesheet" />
<script type="text/javascript" src="prettify.js"></script>
<title>Google Code prettify</title>
</head>
<body>
<b>Hola Mundo en Google Code Prettify</b>
http://blog.unijimpe.net
</body>
</html>