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>