diff options
| author | James Moger <james.moger@gitblit.com> | 2013-05-23 23:10:43 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-05-23 23:10:43 -0400 |
| commit | 5c0605d5665196b3726cc64bfd80b45ec963417b (patch) | |
| tree | 968a263bb553704252901b17c50bd2967ab65554 /src/main/resources | |
| parent | 80d532afc6de7df0cf817ee77d08c6eeb257a9c0 (diff) | |
| download | gitblit-5c0605d5665196b3726cc64bfd80b45ec963417b.tar.gz gitblit-5c0605d5665196b3726cc64bfd80b45ec963417b.zip | |
Support relative links in commitdiff page and polish css
Diffstat (limited to 'src/main/resources')
| -rw-r--r-- | src/main/resources/gitblit.css | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/main/resources/gitblit.css b/src/main/resources/gitblit.css index 26dc4806..88f7930e 100644 --- a/src/main/resources/gitblit.css +++ b/src/main/resources/gitblit.css @@ -703,6 +703,16 @@ div.header { border-bottom: 0;
border-radius: 3px 3px 0 0;
font-weight: bold;
+ font-family: Helvetica,arial,freesans,clean,sans-serif;
+}
+
+div.diffHeader {
+ /* CSS trick to workaround #link topOfWindow offset problem */
+ border-top: 65px solid transparent;
+ margin-top: -65px;
+ -webkit-background-clip: padding-box;
+ -moz-background-clip: padding;
+ background-clip: padding-box;
}
div.commitHeader {
@@ -858,6 +868,10 @@ div.diff.extended_header { font-family: inherit;
}
+div.diff table {
+ border: 1px solid #ddd;
+}
+
span.diff.add {
color: #008800;
font-family: inherit;
|