fixes #4922: use basefontsize for realz on .lead

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index c0e1988acaa365723404ec49ad62fd9f361a182f..d64ff51ab98d709c7413076abff6576beaff99fd 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: 30px;
+  font-size: 21px;
   font-weight: 200;
   line-height: 30px;
 }

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