From fa5a664679caf13be3726d7d3c829d3a97864afa Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Fri, 21 Sep 2012 22:52:07 -0400
Subject: [PATCH] Move -source jars into ext/src
---
resources/gitblit.css | 76 ++++++++++++++++++++++++++++++++++++++
1 files changed, 76 insertions(+), 0 deletions(-)
diff --git a/resources/gitblit.css b/resources/gitblit.css
index 7a73a24..fc948b6 100644
--- a/resources/gitblit.css
+++ b/resources/gitblit.css
@@ -145,6 +145,7 @@
border:0px;
padding: 0;
line-height: 1.35em;
+ vertical-align:top;
}
table {
@@ -161,10 +162,85 @@
text-align: left;
}
+div.sourceview {
+ overflow: hidden;
+}
+
pre.prettyprint ol {
padding-left:25px;
}
+#nums {
+ text-align: right;
+ padding-right:10px;
+ border-right:1px solid #ddd;
+ font-family: monospace;
+ line-height: 1.35em;
+ vertical-align:top;
+}
+
+#nums pre {
+ white-space: pre;
+}
+
+#nums pre, #lines pre {
+ margin: 0;
+}
+
+#lines pre {
+ padding: 0px !important;
+ border: 0px !important;
+ white-space: nowrap;
+}
+
+/* CSS trick to workaround #link topOfWindow offset problem */
+#nums .num {
+ border-top: 160px solid transparent;
+ margin-top: -160px;
+ -webkit-background-clip: padding-box;
+ -moz-background-clip: padding;
+ background-clip: padding-box;
+
+ color: #888;
+}
+
+#nums span:target {
+ background-color: #ffffbf;
+ color: black;
+ font-weight: bold;
+ border-bottom: 1px solid red;
+}
+
+#lines table {
+ margin: 0;
+}
+
+#lines td {
+ padding: 0;
+}
+
+#lines a {
+ padding-left: 5px;
+}
+
+#lines a:hover {
+ background-color: #ffffbf;
+ text-decoration: none;
+}
+
+#lines tr:hover {
+ background-color: #ffffbf;
+}
+#lines .odd {
+ background-color: white;
+}
+
+#lines .even {
+ background-color: #fafafa;
+}
+
+
+
h1 small, h2 small, h3 small, h4 small, h5 small, h6 small {
color: #888;
}
--
Gitblit v1.9.1