diff --git a/pretty/css/html_header.html b/pretty/css/html_header.html
index 26f40da9..13e7cf11 100644
--- a/pretty/css/html_header.html
+++ b/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>