Trac #148: Use same hilighting technique also for documentation.
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>