Update html_header.html

Author: spinkney

pretty/css/html_header.html

@@ -20,8 +20,10 @@
 		<script>
 	$(function() {
 		$(".fragment").each(function(i,node) {
-		$(node).removeClass("fragment");
-		  hljs.highlightElement(node);
+		  var $node = $(node);
+		  $node.html("<pre><code class='stan'>" + 
+					 $node.text()+"</code></pre>");
+					 hljs.highlightAll(node);
 	});
 });
 	</script>