.PHPCode {
	border: 3px solid #84bd84;
	padding: 5px;
	margin: 20px;
	background: white;
	white-space: pre;
	font-family: courier, monospace;
	font-size: 0.8em;
}