From 914f5e6a1d6faf57988cd26c31200796a4b743a9 Mon Sep 17 00:00:00 2001
From: Mark Otto <otto@github.com>
Date: Sat, 14 Dec 2013 11:44:54 -0800
Subject: [PATCH] Fixes #11867: Add `@panel-body-padding` variable

---
 less/panels.less    | 2 +-
 less/variables.less | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/less/panels.less b/less/panels.less
index a6b723c68c..ad133ad216 100644
--- a/less/panels.less
+++ b/less/panels.less
@@ -14,7 +14,7 @@
 
 // Panel contents
 .panel-body {
-  padding: 15px;
+  padding: @panel-body-padding;
   &:extend(.clearfix all);
 }
 
diff --git a/less/variables.less b/less/variables.less
index 3d7cb660c3..15db9538ac 100644
--- a/less/variables.less
+++ b/less/variables.less
@@ -510,8 +510,10 @@
 // Panels
 // -------------------------
 @panel-bg:                    #fff;
-@panel-inner-border:          #ddd;
+@panel-body-padding:          15px;
 @panel-border-radius:         @border-radius-base;
+
+@panel-inner-border:          #ddd;
 @panel-footer-bg:             #f5f5f5;
 
 @panel-default-text:          @gray-dark;