From 02f6bd65f5cd44b41e49d23ed7e6a068a04805a6 Mon Sep 17 00:00:00 2001
From: Mark Otto <markotto@twitter.com>
Date: Sat, 1 Sep 2012 12:00:13 -0700
Subject: [PATCH] fixes #4910: use @baseLineHeight * 1.5 for .lead font-size

---
 docs/assets/css/bootstrap.css | 2 +-
 less/type.less                | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index c8ea594dc7..c0e1988aca 100644
--- 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 14f65f2fa1..0afb864ccd 100644
--- 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;
 }