diff options
Diffstat (limited to 'resources')
| -rw-r--r-- | resources/gitblit.css | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/resources/gitblit.css b/resources/gitblit.css index 8f659865..0e8e7532 100644 --- a/resources/gitblit.css +++ b/resources/gitblit.css @@ -286,6 +286,34 @@ div.searchResult .date { color:#999;
}
+div.searchResult .body {
+ padding-left:20px;
+}
+
+div.searchResult .fragment {
+ padding: 7px 0;
+}
+
+div.searchResult .highlight {
+ background-color: #ffffaa;
+ border: 1px solid #ffcc00;
+ 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 pre {
+ margin: 1px 0px;
+}
+
div.header, div.commitHeader, table.repositories th {
background-color:#e0e0e0;
background-repeat:repeat-x;
|