From 6f8ad9b1068e57062a5f79da83c10ee715d412ef Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 21 Dec 2012 16:49:04 -0500
Subject: [PATCH] Fixed cache bug wrt create/edit repository with existing repo name (issue-172)
---
resources/gitblit.css | 17 +++++++++++++----
1 files changed, 13 insertions(+), 4 deletions(-)
diff --git a/resources/gitblit.css b/resources/gitblit.css
index 4d7e3ab..811b08a 100644
--- a/resources/gitblit.css
+++ b/resources/gitblit.css
@@ -30,9 +30,8 @@
margin-bottom: 10px;
}
-.settings h3 {
- margin-bottom: 0.5em;
- border-bottom: 1px solid #000080 !important;
+.settings th {
+ vertical-align: top;
}
.pageTitle {
@@ -187,6 +186,12 @@
div.even {
background-color: whiteSmoke;
vertical-align: middle;
+}
+
+span.authorizationControl label {
+ display: inline;
+ color: #777;
+ padding:5px 0px 5px 10px;
}
div.page_footer {
@@ -979,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