From 6587bbc2dc53da61005b747f65bbf337cccf7be3 Mon Sep 17 00:00:00 2001
From: Ben Ogle <ogle.ben@gmail.com>
Date: Thu, 29 Aug 2013 12:37:14 -0700
Subject: [PATCH] Change button color when in a panel-heading

---
 themes/neue-dark-ui/panels.less | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/themes/neue-dark-ui/panels.less b/themes/neue-dark-ui/panels.less
index 11aa09160..cca4fa650 100644
--- a/themes/neue-dark-ui/panels.less
+++ b/themes/neue-dark-ui/panels.less
@@ -1,5 +1,6 @@
 @import "ui-mixins";
 @import "ui-variables";
+@import "buttons";
 
 .panel-heading {
   margin: 0;
@@ -11,6 +12,18 @@
 
   background-color: transparent;
   background-image: -webkit-linear-gradient(@panel-heading-background-color, darken(@panel-heading-background-color, 10%));
+
+  .btn {
+    padding: 1px 5px;
+    font-size: 10px;
+    position: relative; top: -1px;
+
+    @bg: lighten(@button-background-color, 10%);
+    @hover: lighten(@button-background-hover-color, 10%);
+    @selected: lighten(@button-background-selected-color, 10%);
+    @text: lighten(@text-color, 10%);
+    .btn-background(@bg, @hover, @selected, @text);
+  }
 }
 
 .inset-panel {