html,html>body {height:100%;}

* {margin:0;padding:0;}

table {border-collapse:collapse;}

@media (max-width:479px) {
	pre.source {
		white-space:normal;
	}
}

pre.source {
	background-color:#FFFFFF;
	background-color: rgba(255,255,255,0.75);
	padding:0.5em 1em;
	overflow:auto;
}

.php-blue {
	color:#0000BB;
}

.php-red {
	color:#DD0000;
}

.php-green {
	color:#007700;
}

.php-comment {
	color:#FF8000;
}