DiffView: Fix displaying of diffs

This was lost when changing the diff mechanism to
highlight only a single div, rather than all diffs
in the body.

html/views/diff/index.html

@@ -9,8 +9,7 @@
 
 	<script type="text/javascript" charset="utf-8">
 		var showDiff = function(diff) {
-			document.getElementById("details").innerHTML = diff.escapeHTML();
-			highlightDiffs();
+			highlightDiff(diff, $("details"));
 		}
 	</script>
 </head>