From 17820f3a1153250a325fed23dfc2da59ce6ba777 Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Mon, 31 Oct 2011 22:47:21 -0400
Subject: [PATCH] More feeds work in Manager
---
resources/gitblit.css | 12 +++++++++++-
1 files changed, 11 insertions(+), 1 deletions(-)
diff --git a/resources/gitblit.css b/resources/gitblit.css
index e4d291a..0586b61 100644
--- a/resources/gitblit.css
+++ b/resources/gitblit.css
@@ -12,7 +12,7 @@
}
body {
- width: 980px;
+ width: 1000px;
margin: 5px;
background-color: #ffffff;
color: #000000;
@@ -20,6 +20,12 @@
margin-left: auto;
padding: 0px;
background: url(background.png) repeat-x scroll 0 0 #FFFFFF;
+}
+
+hr {
+ color: #ffffff;
+ background-color: #ffffff;
+ height: 1px; !important
}
pre, code, pre.prettyprint, pre.plainprint {
@@ -174,6 +180,10 @@
font-style: italic;
}
+span.userPanel a, span.userPanel a span {
+ font-size: 11px;
+}
+
div.page_nav {
color: #ddd;
background-color: #000070;
--
Gitblit v1.9.1