Trac #148: Use same hilighting technique also for documentation.
diff --git a/org.jacoco.doc/docroot/doc/build.html b/org.jacoco.doc/docroot/doc/build.html
index 90f30c9..da97ccf 100644
--- a/org.jacoco.doc/docroot/doc/build.html
+++ b/org.jacoco.doc/docroot/doc/build.html
@@ -4,10 +4,12 @@
<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" />
<link rel="shortcut icon" href=".resources/report.gif" type="image/gif" />
+ <script type="text/javascript" src="../coverage/.resources/prettify.js"></script>
<title>JaCoCo - Build</title>
</head>
-<body>
+<body onload="prettyPrint()">
<div class="breadcrumb">
<a href="../index.html" class="el_report">JaCoCo</a> >
@@ -229,11 +231,11 @@
definition from the dependencies, for example:
</p>
-<pre class="source">
-<span class="nr"> 1</span><path id="dependencies">
-<span class="nr"> 2</span> <path refid="bundle-org.jacoco.core"/>
-<span class="nr"> 3</span> <path refid="bundle-org.objectweb.asm"/>
-<span class="nr"> 4</span></path>
+<pre class="source linenums">
+<path id="dependencies">
+ <path refid="bundle-org.jacoco.core"/>
+ <path refid="bundle-org.objectweb.asm"/>
+</path>
</pre>
<p>