From ae98f1803f09fae7e427075f99c19d218d68f46c Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Fri, 12 Apr 2013 20:56:19 -0700
Subject: [PATCH] add modal variables and tweak padding for min-height on modal
 title

---
 docs/assets/css/bootstrap.css | 8 ++++----
 less/modals.less              | 8 ++++----
 less/variables.less           | 3 +++
 3 files changed, 11 insertions(+), 8 deletions(-)

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index d550f0c83c..374c1d1327 100644
--- a/docs/assets/css/bootstrap.css
+++ b/docs/assets/css/bootstrap.css
@@ -4302,18 +4302,18 @@ button.close {
 }
 
 .modal-header {
-  min-height: 40px;
-  padding: 9px 15px;
+  min-height: 35px;
+  padding: 15px;
   border-bottom: 1px solid #e5e5e5;
 }
 
 .modal-header .close {
-  margin-top: 2px;
+  margin-top: -2px;
 }
 
 .modal-title {
   margin: 0;
-  line-height: 30px;
+  line-height: 20px;
 }
 
 .modal-body {
diff --git a/less/modals.less b/less/modals.less
index c302e2a2b5..c05c3f7b05 100644
--- a/less/modals.less
+++ b/less/modals.less
@@ -74,19 +74,19 @@
 // Modal header
 // Top section of the modal w/ title and dismiss
 .modal-header {
-  padding: 9px 15px;
+  padding: @modal-title-padding;
   border-bottom: 1px solid #e5e5e5;
-  min-height:40px;
+  min-height: (@modal-title-padding + @modal-title-line-height);
 }
 // Close icon
 .modal-header .close {
-  margin-top: 2px;
+  margin-top: -2px;
 }
 
 // Title text within header
 .modal-title {
   margin: 0;
-  line-height: 30px; // effectively set a min-height for the header
+  line-height: @modal-title-line-height;
 }
 
 // Modal body
diff --git a/less/variables.less b/less/variables.less
index cafd3919be..e612bb94b9 100644
--- a/less/variables.less
+++ b/less/variables.less
@@ -274,6 +274,9 @@
 // -------------------------
 @modal-inner-padding:         20px;
 
+@modal-title-padding:         15px;
+@modal-title-line-height:     @line-height-base;
+
 
 // Progress bars
 // -------------------------