gitweb: Add optional "time to generate page" info in footer

[Gitweb] / gitweb.css

diff --git a/gitweb.css b/gitweb.css
index 7789945d04e5e9c497dd52106647212efe31937af8939a5d55272c43b0bb0dcd..d816ea67e0269c82e02c345b0695da7d5c2e5ec31d8edd1f6bc3c805e4b69632 100644 (file)
--- a/gitweb.css
+++ b/gitweb.css
@@ -75,6 +75,13 @@ div.page_footer_text {
        font-style: italic;
 }
 
+div#generating_info {
+       margin: 4px;
+       font-size: smaller;
+       text-align: center;
+       color: #505050;
+}
+
 div.page_body {
        padding: 8px;
        font-family: monospace;