opendev/gerrit
Code Issues Proposed changes

Merge "Make the default font size "small""

Browse Source
This commit is contained in:
Shawn O. Pearce
2012-11-29 18:02:32 -08:00
committed by Gerrit Code Review
parent 3ed1fc0e77 7400ec0fe6
commit 9715e77332
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
gerrit-gwtui/src/main/java/com/google/gerrit/client/gerrit.css
View File

@@ -46,7 +46,7 @@
} }
.gerritBody { .gerritBody {
font-size: 11pt; font-size: small;
padding-left: 5px; padding-left: 5px;
padding-right: 5px; padding-right: 5px;
} }