Trac #95: Remove element type "SESSION", rename style "session" to "report".
diff --git a/org.jacoco.doc/docroot/doc/implementation.html b/org.jacoco.doc/docroot/doc/implementation.html
index 6abe05a..aa1ffdf 100644
--- a/org.jacoco.doc/docroot/doc/implementation.html
+++ b/org.jacoco.doc/docroot/doc/implementation.html
@@ -5,13 +5,14 @@
   <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 - Implementation Design</title>

 </head>

 <body onload="prettyPrint()">

 

 <div class="breadcrumb">

-  <a href="../index.html" class="el_session">JaCoCo</a> &gt;

+  <a href="../index.html" class="el_report">JaCoCo</a> &gt;

   <a href="index.html" class="el_group">Documentation</a> &gt;

   <span class="el_source">Implementation Design</span>

 </div>