Select Code to Download

<script>
var headID = document.getElementsByTagName("head")`[0`];         
...
<script>
prettyPrint();
</script>

<script>
var headID = document.getElementsByTagName("head")`[0`];         
...
headID.appendChild(cssNode);
</script>
<script type="text/javascript" src="http://datenzoo.de/pub/prettify-ja
+ap.js"></script>