diff options
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; |