javascript

try{
	window.addEventListener("load",prettyPrint,false);
}catch(e){
	window.attachEvent("onload",prettyPrint);
}

html

<link href="prettify.css" type="text/css" rel="stylesheet" />
<script type="text/javascript" src="prettify.js"></script>