Improve templates for doc coverage

Author: GuillaumeGomez

templates/crate/details.html

@@ -18,7 +18,7 @@
                     <ul class="pure-menu-list">
                         {%- if details.documented_items and details.total_items -%}
                             {% set percent = details.documented_items * 100 / details.total_items %}
-                            <li class="pure-menu-heading">Documentation<br>coverage</li>
+                            <li class="pure-menu-heading">Coverage</li>
                             <li class="pure-menu-item" style="text-align:center;"><b>{{ percent | round(precision=2) }} %</b><br>
                                 <span style="font-size: 13px;"><b>{{ details.documented_items }}</b> out of <b>{{ details.total_items }}</b> items documented</span>
                             </li>

templates/rustdoc/body.html

@@ -114,6 +114,20 @@
                                 </div>
                             </div>
 
+                            {%- if krate.documented_items and krate.total_items -%}
+                                {% set percent = krate.documented_items * 100 / krate.total_items %}
+                                <div class="pure-g menu-item-divided">
+                                    <div class="pure-u-1">
+                                        <ul class="pure-menu-list">
+                                            <li class="pure-menu-heading">Coverage</li>
+                                            <li class="pure-menu-link"><b>{{ percent | round(precision=2) }} %</b><br>
+                                                <span><b>{{ krate.documented_items }}</b> out of <b>{{ krate.total_items }}</b> items documented</span>
+                                            </li>
+                                        </ul>
+                                    </div>
+                                </div>
+                            {%- endif -%}
+
                             <div class="pure-g">
                                 <div class="pure-u-1-2 right-border">
                                     <ul class="pure-menu-list">