Help for this page

Select Code to Download


  1. or download this
    <script>
var headID = document.getElementsByTagName("head")`[0`];         
...
<script>
prettyPrint();
</script>
  2. or download this
    <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>