timing

src/run.py

@@ -121,16 +121,17 @@ def index():
                     {graph_html_1}
                     {graph_html_2}
                     {graph_html_3}
-                    <div style="height:9vh; background-color:lightgrey;">
+                    <div style="height:9vh; background-color:lightgrey; font-family: Courier, Consolas, monospace;">
-                      <table>
+                      <table style="border-collapse: collapse;">
+                        <style>table td {{ padding-right: 5px }}</style>
                         <tr>
-                          <td>{duration1}</td><td>{duration2}</td>
+                          <td>Query 1: {duration1:.3f} s</td><td>Graph 1: {duration2:.3f} s</td>
                         </tr><tr>
-                          <td>{duration3}</td><td>{duration4}</td>
+                          <td>Query 2: {duration3:.3f} s</td><td>Graph 2: {duration4:.3f} s</td>
                         </tr><tr>
-                          <td>{duration5}</td><td>{duration6}</td>
+                          <td>Query 3: {duration5:.3f} s</td><td>Graph 3: {duration6:.3f} s</td>
                         </tr><tr>
-                          <td>{duration7}</td>
+                          <td>Total: {duration7:.3f} s</td>
                         </tr>
                       </table>   
                     </div>