From: Edwin Hoksberg <EdwinHoksberg@users.noreply.github.com>
Date: Sat, 28 Jul 2018 07:10:06 +0000 (+0200)
Subject: Add styling for gitweb timing statistics output (#37)
X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fgitweb-theme;a=commitdiff_plain;h=61825abacbebf947df116becf8c10e36ad51e634

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 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
 ---------------------------------------------------------------------------- */