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>