Add styling for gitweb timing statistics output (#37)

When they are enabled using the `$feature{'timed'}{'default'} = [1];` setting

diff --git a/gitweb.css b/gitweb.css
index c57d577b656d065a4320af69c4aff1168bdccafc..65458debdce033f6389fe9eb5451fb45ff716b63 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -99,6 +99,16 @@ td, th {
   display: none;
 }
 
+#generating_info {
+  font-size: 10px;
+  color: #aaa;
+  text-align: center;
+}
+
+#generating_time, #generating_cmd {
+  font-weight: bold;
+}
+
 /* Page Header
 ---------------------------------------------------------------------------- */