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> &gt;

@@ -229,11 +231,11 @@
   definition from the dependencies, for example: 

 </p>

 

-<pre class="source">

-<span class="nr">    1</span>&lt;path id="dependencies"&gt;

-<span class="nr">    2</span>    &lt;path refid="bundle-org.jacoco.core"/&gt;

-<span class="nr">    3</span>    &lt;path refid="bundle-org.objectweb.asm"/&gt;

-<span class="nr">    4</span>&lt;/path>

+<pre class="source linenums">

+&lt;path id="dependencies"&gt;

+    &lt;path refid="bundle-org.jacoco.core"/&gt;

+    &lt;path refid="bundle-org.objectweb.asm"/&gt;

+&lt;/path&gt;

 </pre>

 

 <p>