Use coverage report highlighting also for code snippets in documentation.
diff --git a/org.jacoco.doc/docroot/doc/implementation.html b/org.jacoco.doc/docroot/doc/implementation.html
index ec1be8c..1867501 100644
--- a/org.jacoco.doc/docroot/doc/implementation.html
+++ b/org.jacoco.doc/docroot/doc/implementation.html
@@ -4,9 +4,11 @@
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<link rel="stylesheet" href=".resources/doc.css" charset="ISO-8859-1" type="text/css" />
+ <link rel="stylesheet" href="../coverage/.resources/prettify.css" charset="ISO-8859-1" type="text/css" />
+ <script type="text/javascript" src="../coverage/.resources/prettify.js"></script>
<title>JaCoCo - Implementation Design</title>
</head>
-<body>
+<body onload="prettyPrint()">
<div class="breadcrumb">
<a href="../index.html" class="el_session">JaCoCo</a> >
@@ -234,7 +236,7 @@
</p>
-<pre class="source">
+<pre class="source lang-java">
<span class="nr"> 1</span>Object access = ... // Retrieve instance
<span class="nr"> 2</span>
<span class="nr"> 3</span>Object[] args = new Object[3];