add modal variables and tweak padding for min-height on modal title

diff --git a/docs/assets/css/bootstrap.css b/docs/assets/css/bootstrap.css
index d550f0c83ceb0360adc301b568e5c9fc31705a84..374c1d1327dfdcbbbc1bd3897a85b1e5b2597075 100644 (file)
--- 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 c302e2a2b50128e375814bc7ad877f0c0f8c0a7a..c05c3f7b0542162fe6bfb50a3a4e5f2f232e2713 100644 (file)
--- 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 cafd3919beae92eeb33a56fe7c4c1a8c095a99b5..e612bb94b92e52df481ef271cd56da45dda947f7 100644 (file)
--- 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
 // -------------------------