Add benchmark metrics, with timings and network + memory usage.

Along with a comparison with OfflineIMAP.

1 files changed, 3 insertions, 0 deletions

diff --git a/doc/template.html b/doc/template.html
index dbcc0e6..41bf3d7 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -20,6 +20,9 @@ $endif$
     span.underline{text-decoration: underline;}
     div.column{display: inline-block; vertical-align: top; width: 50%;}
     pre{tab-size: 4; -moz-tab-size: 4;}
+    table{width: 100%; margin-bottom: 3ex;}
+    table > thead > tr.header > th{border-bottom: 2px solid #ddd; padding: 8px;}
+    table > tbody > tr        > td{border-bottom: 1px solid #ddd; padding: 6px;}
     @media only screen and (min-width: 600px) {
       .parent {
         float: right;