Trac #148: Use same hilighting technique also for documentation.
diff --git a/org.jacoco.doc/docroot/doc/.resources/doc.css b/org.jacoco.doc/docroot/doc/.resources/doc.css
index d38bf8c..3e62c59 100644
--- a/org.jacoco.doc/docroot/doc/.resources/doc.css
+++ b/org.jacoco.doc/docroot/doc/.resources/doc.css
@@ -122,10 +122,15 @@
   font-family:monospace;

 }

 

-pre.source span.nr {

-  color:#c0c0c0;

-  border-right:#d6d3ce 1px solid;

-  padding-right:2pt;

+pre.source ol {

+  margin-bottom: 0px;

+  margin-top: 0px;

+}

+

+pre.source li {

+  border-left: 1px solid #D6D3CE;

+  color: #A0A0A0;

+  padding-left: 0px;

 }

 

 pre.source span.fc {

diff --git a/org.jacoco.doc/docroot/doc/ant.html b/org.jacoco.doc/docroot/doc/ant.html
index d271ab1..f028b5f 100644
--- a/org.jacoco.doc/docroot/doc/ant.html
+++ b/org.jacoco.doc/docroot/doc/ant.html
@@ -65,16 +65,16 @@
   <code>taskdef</code> declaration:   

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;project name="Example" xmlns:jacoco="antlib:org.jacoco.ant"&gt;

-<span class="nr">    2</span>

-<span class="nr">    3</span>    &lt;taskdef uri="antlib:org.jacoco.ant" resource="org/jacoco/ant/antlib.xml"&gt;

-<span class="nr">    4</span>        &lt;classpath path="<i>path_to_jacoco</i>/lib/jacocoant.jar"/&gt;

-<span class="nr">    5</span>    &lt;/taskdef&gt;

-<span class="nr">    6</span>    

-<span class="nr">    7</span>    ...

-<span class="nr">    8</span>    

-<span class="nr">    9</span>&lt;/project&gt;

+<pre class="source lang-xml linenums">

+&lt;project name="Example" xmlns:jacoco="antlib:org.jacoco.ant"&gt;

+

+    &lt;taskdef uri="antlib:org.jacoco.ant" resource="org/jacoco/ant/antlib.xml"&gt;

+        &lt;classpath path="<i>path_to_jacoco</i>/lib/jacocoant.jar"/&gt;

+    &lt;/taskdef&gt;

+    

+    ...

+    

+&lt;/project&gt;

 </pre>

 

 <p>

@@ -96,24 +96,24 @@
   following examples:  

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;jacoco:coverage>

-<span class="nr">    2</span>    &lt;java classname="org.jacoco.examples.HelloJaCoCo" fork="true"&gt;

-<span class="nr">    3</span>        &lt;classpath&gt;

-<span class="nr">    4</span>            &lt;pathelement location="./bin"/&gt;

-<span class="nr">    5</span>        &lt;/classpath&gt;

-<span class="nr">    6</span>    &lt;/java&gt;

-<span class="nr">    7</span>&lt;/jacoco:coverage&gt;

-<span class="nr">    8</span>

-<span class="nr">    9</span>

-<span class="nr">   10</span>&lt;jacoco:coverage>

-<span class="nr">   11</span>    &lt;junit fork="true" forkmode="once"&gt;

-<span class="nr">   12</span>        &lt;test name="org.jacoco.examples.HelloJaCoCoTest"/&gt;

-<span class="nr">   13</span>        &lt;classpath&gt;

-<span class="nr">   14</span>            &lt;pathelement location="./bin"/&gt;

-<span class="nr">   15</span>        &lt;/classpath&gt;

-<span class="nr">   16</span>    &lt;/junit&gt;

-<span class="nr">   17</span>&lt;/jacoco:coverage>

+<pre class="source lang-xml linenums">

+&lt;jacoco:coverage>

+    &lt;java classname="org.jacoco.examples.HelloJaCoCo" fork="true"&gt;

+        &lt;classpath&gt;

+            &lt;pathelement location="./bin"/&gt;

+        &lt;/classpath&gt;

+    &lt;/java&gt;

+&lt;/jacoco:coverage&gt;

+

+

+&lt;jacoco:coverage>

+    &lt;junit fork="true" forkmode="once"&gt;

+        &lt;test name="org.jacoco.examples.HelloJaCoCoTest"/&gt;

+        &lt;classpath&gt;

+            &lt;pathelement location="./bin"/&gt;

+        &lt;/classpath&gt;

+    &lt;/junit&gt;

+&lt;/jacoco:coverage&gt;

 </pre>

 

 <p>

@@ -260,8 +260,8 @@
   as a Java VM parameter:

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;jacoco:agent property="agentvmparam"/>

+<pre class="source lang-xml linenums">

+&lt;jacoco:agent property="agentvmparam"/&gt;

 </pre>

 

 <p>

@@ -303,8 +303,8 @@
   stopping it. For example:

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;jacoco:dump address="server.example.com" reset="true" destfile="remote.exec"/&gt;

+<pre class="source lang-xml linenums">

+&lt;jacoco:dump address="server.example.com" reset="true" destfile="remote.exec"/&gt;

 </pre>

 

 <p>

@@ -377,10 +377,10 @@
   into a single data store. 

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;jacoco:merge destfile="merged.exec"&gt;

-<span class="nr">    2</span>    &lt;fileset dir="executionData" includes="*.exec"/&gt;

-<span class="nr">    3</span>&lt;/jacoco:merge&gt;

+<pre class="source lang-xml linenums">

+&lt;jacoco:merge destfile="merged.exec"&gt;

+    &lt;fileset dir="executionData" includes="*.exec"/&gt;

+&lt;/jacoco:merge&gt;

 </pre>

 

 <p>

@@ -414,25 +414,25 @@
   input data, additional ones specify the output formats:  

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;jacoco:report&gt;

-<span class="nr">    2</span>			

-<span class="nr">    3</span>    &lt;executiondata&gt;

-<span class="nr">    4</span>        &lt;file file="jacoco.exec"/&gt;

-<span class="nr">    5</span>    &lt;/executiondata&gt;

-<span class="nr">    6</span>			

-<span class="nr">    7</span>    &lt;structure name="Example Project"&gt;

-<span class="nr">    8</span>        &lt;classfiles&gt;

-<span class="nr">    9</span>            &lt;fileset dir="classes"/&gt;

-<span class="nr">   10</span>        &lt;/classfiles&gt;

-<span class="nr">   11</span>        &lt;sourcefiles encoding="UTF-8"&gt;

-<span class="nr">   12</span>            &lt;fileset dir="src"/&gt;

-<span class="nr">   13</span>        &lt;/sourcefiles&gt;

-<span class="nr">   14</span>    &lt;/structure&gt;

-<span class="nr">   15</span>			

-<span class="nr">   16</span>    &lt;html destdir="report"/&gt;

-<span class="nr">   17</span>			

-<span class="nr">   18</span>&lt;/jacoco:report&gt;

+<pre class="source lang-xml linenums">

+&lt;jacoco:report&gt;

+			

+    &lt;executiondata&gt;

+        &lt;file file="jacoco.exec"/&gt;

+    &lt;/executiondata&gt;

+			

+    &lt;structure name="Example Project"&gt;

+        &lt;classfiles&gt;

+            &lt;fileset dir="classes"/&gt;

+        &lt;/classfiles&gt;

+        &lt;sourcefiles encoding="UTF-8"&gt;

+            &lt;fileset dir="src"/&gt;

+        &lt;/sourcefiles&gt;

+    &lt;/structure&gt;

+			

+    &lt;html destdir="report"/&gt;

+			

+&lt;/jacoco:report&gt;

 </pre>

 

 <p>

@@ -477,12 +477,12 @@
   possible and allows to narrow the scope of the report, for example: 

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;classfiles&gt;

-<span class="nr">    2</span>    &lt;fileset dir="classes"&gt;

-<span class="nr">    3</span>        &lt;include name="org/jacoco/examples/important/**/*.class" /&gt;

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

-<span class="nr">    5</span>&lt;/classfiles&gt;

+<pre class="source lang-xml linenums">

+&lt;classfiles&gt;

+    &lt;fileset dir="classes"&gt;

+        &lt;include name="org/jacoco/examples/important/**/*.class"/&gt;

+    &lt;/fileset&gt;

+&lt;/classfiles&gt;

 </pre>

 

 <p class="hint">

@@ -499,28 +499,28 @@
   be specified separately. For example: 

 </p>

 

-<pre class="source lang-xml">

-<span class="nr">    1</span>&lt;structure name="Example Project"&gt;

-<span class="nr">    2</span>    &lt;group name="Server"&gt;

-<span class="nr">    3</span>        &lt;classfiles&gt;

-<span class="nr">    4</span>            &lt;fileset dir="${workspace.dir}/org.jacoco.example.server/classes"/&gt;

-<span class="nr">    5</span>        &lt;/classfiles&gt;

-<span class="nr">    6</span>        &lt;sourcefiles&gt;

-<span class="nr">    7</span>            &lt;fileset dir="${workspace.dir}/org.jacoco.example.server/src"/&gt;

-<span class="nr">    8</span>        &lt;/sourcefiles&gt;

-<span class="nr">    9</span>    &lt;/group&gt;

-<span class="nr">   10</span>    &lt;group name="Client"&gt;

-<span class="nr">   11</span>        &lt;classfiles&gt;

-<span class="nr">   12</span>            &lt;fileset dir="${workspace.dir}/org.jacoco.example.client/classes"/&gt;

-<span class="nr">   13</span>        &lt;/classfiles&gt;

-<span class="nr">   14</span>        &lt;sourcefiles&gt;

-<span class="nr">   15</span>            &lt;fileset dir="${workspace.dir}/org.jacoco.example.client/src"/&gt;

-<span class="nr">   16</span>        &lt;/sourcefiles&gt;

-<span class="nr">   17</span>    &lt;/group&gt;

-<span class="nr">   18</span>    

-<span class="nr">   19</span>    ...

-<span class="nr">   20</span>    

-<span class="nr">   21</span>&lt;/structure&gt;

+<pre class="source lang-xml linenums">

+&lt;structure name="Example Project"&gt;

+    &lt;group name="Server"&gt;

+        &lt;classfiles&gt;

+            &lt;fileset dir="${workspace.dir}/org.jacoco.example.server/classes"/&gt;

+        &lt;/classfiles&gt;

+        &lt;sourcefiles&gt;

+            &lt;fileset dir="${workspace.dir}/org.jacoco.example.server/src"/&gt;

+        &lt;/sourcefiles&gt;

+    &lt;/group&gt;

+    &lt;group name="Client"&gt;

+        &lt;classfiles&gt;

+            &lt;fileset dir="${workspace.dir}/org.jacoco.example.client/classes"/&gt;

+        &lt;/classfiles&gt;

+        &lt;sourcefiles&gt;

+            &lt;fileset dir="${workspace.dir}/org.jacoco.example.client/src"/&gt;

+        &lt;/sourcefiles&gt;

+    &lt;/group&gt;

+    

+    ...

+    

+&lt;/structure&gt;

 </pre>

 

 <p>

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>

diff --git a/org.jacoco.doc/docroot/doc/changes.html b/org.jacoco.doc/docroot/doc/changes.html
index 125ff57..27d78e6 100644
--- a/org.jacoco.doc/docroot/doc/changes.html
+++ b/org.jacoco.doc/docroot/doc/changes.html
@@ -36,7 +36,8 @@
 <ul>

   <li>API documentation cleanup (Track #140).</li>

   <li>Removed obsolete examples from documentation (Trac #141).</li>

-  <li>Added reporting API example (Trac #146)</li>

+  <li>Added reporting API example (Trac #146).</li>

+  <li>Reduced file size of HTML report source pages (Trac #148).</li>

 </ul>

 

 <h3>API Changes</h3>

diff --git a/org.jacoco.doc/docroot/doc/flow.html b/org.jacoco.doc/docroot/doc/flow.html
index 04fffea..e07eca3 100644
--- a/org.jacoco.doc/docroot/doc/flow.html
+++ b/org.jacoco.doc/docroot/doc/flow.html
@@ -40,16 +40,16 @@
   single branching point:

 </p>

 

-<pre class="source lang-java">

-<span class="nr">    1</span>public static void example() {

-<span class="nr">    2</span>    a();

-<span class="nr">    3</span>    if (cond()) {

-<span class="nr">    4</span>        b();

-<span class="nr">    5</span>    } else {

-<span class="nr">    6</span>        c();

-<span class="nr">    7</span>    }

-<span class="nr">    8</span>    d();

-<span class="nr">    9</span>}

+<pre class="source lang-java linenums">

+public static void example() {

+    a();

+    if (cond()) {

+        b();

+    } else {

+        c();

+    }

+    d();

+}

 </pre>

 

 <p>

@@ -62,16 +62,16 @@
   (also the ASM API uses such symbolic labels):  

 </p>

 

-<pre class="source">

-<span class="nr">     </span>public static example()V

-<span class="nr">     </span>    INVOKESTATIC a()V

-<span class="nr">     </span>    INVOKESTATIC cond()Z

-<span class="nr">     </span>    IFEQ L1

-<span class="nr">     </span>    INVOKESTATIC b()V

-<span class="nr">     </span>    GOTO L2

-<span class="nr">  L1:</span>    INVOKESTATIC c()V

-<span class="nr">  L2:</span>    INVOKESTATIC d()V

-<span class="nr">     </span>    RETURN

+<pre class="source linenums">

+public static example()V

+    INVOKESTATIC a()V

+    INVOKESTATIC cond()Z

+    IFEQ L1

+    INVOKESTATIC b()V

+    GOTO L2

+    INVOKESTATIC c()V

+    INVOKESTATIC d()V

+    RETURN

 </pre>

 

 <p>

diff --git a/org.jacoco.doc/docroot/doc/implementation.html b/org.jacoco.doc/docroot/doc/implementation.html
index 693c0f9..b9306ce 100644
--- a/org.jacoco.doc/docroot/doc/implementation.html
+++ b/org.jacoco.doc/docroot/doc/implementation.html
@@ -168,17 +168,17 @@
 </p>

 

 

-<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];

-<span class="nr">    4</span>args[0] = Long.valueOf(8060044182221863588); // class id 

-<span class="nr">    5</span>args[1] = "com/example/MyClass";             // class name

-<span class="nr">    6</span>args[2] = Integer.valueOf(24);               // probe count

-<span class="nr">    7</span>

-<span class="nr">    8</span>access.equals(args);

-<span class="nr">    9</span>

-<span class="nr">   10</span>boolean[] probes = (boolean[]) args[0];

+<pre class="source lang-java linenums">

+Object access = ...                          // Retrieve instance

+

+Object[] args = new Object[3];

+args[0] = Long.valueOf(8060044182221863588); // class id 

+args[1] = "com/example/MyClass";             // class name

+args[2] = Integer.valueOf(24);               // probe count

+

+access.equals(args);

+

+boolean[] probes = (boolean[]) args[0];

 </pre>

 

 <p>