From d62d883423c4f13e9514c203d2f0b14e4715df7f Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 23 May 2014 09:19:01 -0400
Subject: [PATCH] Tag server-side merges when incremental push tags are enabled
---
src/site/custom.less | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/site/custom.less b/src/site/custom.less
index ca207df..96e70ca 100644
--- a/src/site/custom.less
+++ b/src/site/custom.less
@@ -66,10 +66,10 @@
}
ul > li:focus, .active {
- background-repeat:no-repeat;
- background-image: url('../../arrow_page.png');
- background-position: center bottom;
- outline: 0;
+ outline: 0;
+ padding-bottom: 1px;
+ border-bottom: 3px solid #ff9900;
+ margin-bottom: -1px;
}
}
--
Gitblit v1.9.1