diff options
| author | Paul Martin <paul@paulsputer.com> | 2016-06-18 21:29:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-18 21:29:25 +0100 |
| commit | c585040e2ea0f57ef2bfd50c6339fdbe2ec47522 (patch) | |
| tree | 8d0b0e4a47dc7891584de8f6b271da8ea0265a86 /src/main/resources | |
| parent | bbb65e012c421fb61cd3351ce265c90b5b11a04c (diff) | |
| parent | 7f186f18f5ac1616296fd762570013ef2dd0d1da (diff) | |
| download | gitblit-c585040e2ea0f57ef2bfd50c6339fdbe2ec47522.tar.gz gitblit-c585040e2ea0f57ef2bfd50c6339fdbe2ec47522.zip | |
Merge pull request #1055 from gitblit/1048-TicketReferences
Ticket Reference handling #1048
Diffstat (limited to 'src/main/resources')
| -rw-r--r-- | src/main/resources/gitblit.css | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/main/resources/gitblit.css b/src/main/resources/gitblit.css index 3318441a..10c9a0e8 100644 --- a/src/main/resources/gitblit.css +++ b/src/main/resources/gitblit.css @@ -2391,4 +2391,19 @@ table.filestore-status { .delete-patchset {
color:#D51900;
font-size: 1.2em;
+}
+
+.ticketReference-comment {
+ font-family: sans-serif;
+ font-weight: 200;
+ font-size: 1em;
+ font-variant: normal;
+ text-transform: none;
+}
+
+.ticketReference-commit {
+ font-family: monospace;
+ font-weight: 200;
+ font-size: 1em;
+ font-variant: normal;
}
\ No newline at end of file |