From dfc4ece4083bbbb98f55291d05e7d2b1513464b7 Mon Sep 17 00:00:00 2001
From: Thomas Pummer <dev@nullpointer.at>
Date: Fri, 22 Feb 2013 11:10:11 -0500
Subject: [PATCH] the display-name in web.xml now shows the actual version of Gitblit
---
resources/gitblit.css | 6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/resources/gitblit.css b/resources/gitblit.css
index e5363c8..811b08a 100644
--- a/resources/gitblit.css
+++ b/resources/gitblit.css
@@ -984,11 +984,15 @@
white-space: nowrap;
}
-span.sha1, span.sha1 a, span.sha1 a span, .commit_message {
+span.sha1, span.sha1 a, span.sha1 a span, .commit_message, span.shortsha1 {
font-family: consolas, monospace;
font-size: 13px;
}
+span.shortsha1 {
+ font-size: 12px;
+}
+
td.mode {
text-align: right;
font-family: monospace;
--
Gitblit v1.9.1