diff options
author | Byron Jones <bjones@mozilla.com> | 2013-05-08 17:05:00 +0200 |
---|---|---|
committer | Byron Jones <bjones@mozilla.com> | 2013-05-08 17:05:00 +0200 |
commit | a970b2abf57c910ab53ba272e944bc0c948b0fae (patch) | |
tree | ab869a67ae30220476142bd7b249e478718be3e5 /extensions/Splinter/web/splinter.css | |
parent | 0d5d1a2b913b7f4154324cbc04218092c33d5393 (diff) | |
download | bugzilla-a970b2abf57c910ab53ba272e944bc0c948b0fae.tar.gz bugzilla-a970b2abf57c910ab53ba272e944bc0c948b0fae.tar.xz |
Bug 652334: splinter doesn't support hg/git 'rename' or 'copy'
Diffstat (limited to 'extensions/Splinter/web/splinter.css')
-rw-r--r-- | extensions/Splinter/web/splinter.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/extensions/Splinter/web/splinter.css b/extensions/Splinter/web/splinter.css index 014751b08..9f994eac9 100644 --- a/extensions/Splinter/web/splinter.css +++ b/extensions/Splinter/web/splinter.css @@ -235,6 +235,11 @@ div.review-patch-comment-text { font-weight: bold; } +.file-label-extra { + font-size: 90%; + font-style: italic; +} + .hunk-header td { background: #ddccbb; font-family: "DejaVu Sans Mono", monospace; |