Fixes #10959: round the .lead values down to nearest pixel via floor()

This commit is contained in:
Mark Otto 2013-10-07 14:32:23 -05:00
parent 704635818f
commit 1adbe2043a
3 changed files with 3 additions and 3 deletions

View File

@ -390,7 +390,7 @@ p {
.lead { .lead {
margin-bottom: 20px; margin-bottom: 20px;
font-size: 16.099999999999998px; font-size: 16px;
font-weight: 200; font-weight: 200;
line-height: 1.4; line-height: 1.4;
} }

File diff suppressed because one or more lines are too long

View File

@ -11,7 +11,7 @@ p {
} }
.lead { .lead {
margin-bottom: @line-height-computed; margin-bottom: @line-height-computed;
font-size: (@font-size-base * 1.15); font-size: floor(@font-size-base * 1.15);
font-weight: 200; font-weight: 200;
line-height: 1.4; line-height: 1.4;