From 61825abacbebf947df116becf8c10e36ad51e634 Mon Sep 17 00:00:00 2001
From: Edwin Hoksberg <EdwinHoksberg@users.noreply.github.com>
Date: Sat, 28 Jul 2018 09:10:06 +0200
Subject: [PATCH] Add styling for gitweb timing statistics output (#37)

When they are enabled using the `$feature{'timed'}{'default'} = [1];` setting
---
 gitweb.css | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gitweb.css b/gitweb.css
index c57d577..65458de 100644
--- 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
 ---------------------------------------------------------------------------- */
 
-- 
2.30.2