fixes #4910: use @baseLineHeight * 1.5 for .lead font-size

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index c8ea594dc775b689c30fe9bc310f085d73e98265..c0e1988acaa365723404ec49ad62fd9f361a182f 100644 (file)
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -584,7 +584,7 @@ p {
 
 .lead {
   margin-bottom: 20px;
-  font-size: 20px;
+  font-size: 30px;
   font-weight: 200;
   line-height: 30px;
 }

diff --git a/less/type.less b/less/type.less
index 14f65f2fa13d04c51b84556f8cf3b9c141875309..0afb864ccd14c61db83bd120807cc5be02b46ec2 100644 (file)
--- a/less/type.less
+++ b/less/type.less
@@ -11,7 +11,7 @@ p {
 }
 .lead {
   margin-bottom: @baseLineHeight;
-  font-size: 20px;
+  font-size: @baseLineHeight * 1.5;
   font-weight: 200;
   line-height: @baseLineHeight * 1.5;
 }