diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/gitblit.css | 24 |
1 files changed, 15 insertions, 9 deletions
diff --git a/resources/gitblit.css b/resources/gitblit.css index 0e8e7532..0701a7cf 100644 --- a/resources/gitblit.css +++ b/resources/gitblit.css @@ -267,7 +267,7 @@ img.gravatar { }
div.searchResult {
- padding:5px;
+ padding: 10px 5px 10px 5px;
}
div.searchResult .summary {
@@ -300,18 +300,24 @@ div.searchResult .highlight { padding: 0 2px;
}
-div.searchResult .ellipses {
- font-family: sans-serif;
- font-size: 9px;
- font-weight: normal;
- background-color: #eee;
- border: 1px solid #ccc;
- padding: 0 3px;
- margin: 0px;
+div.searchResult .ellipses {
+ padding-left:25px;
+ color: #aaa;
}
div.searchResult pre {
margin: 1px 0px;
+ border: 0px;
+}
+
+div.searchResult .text {
+ border-left: 5px solid #EEEEEE;
+
+ padding: 0 0 0 15px;
+}
+
+div.searchResult ol {
+ margin-bottom: 0px !important;
}
div.header, div.commitHeader, table.repositories th {
|