# HG changeset patch
# User domruf <dominikruf@gmail.com>
# Date 1509233462 -7200
# Node ID f470ea0a35d243be75721f7477c879deeafea476
# Parent  22dfe2da4fc382f0be0da9496d587200d9495d0a
less: remove margin in .panel-heading - looks fine without it

diff -r 22dfe2da4fc3 -r f470ea0a35d2 kallithea/public/css/style.css
--- a/kallithea/public/css/style.css	Sun Oct 29 01:31:02 2017 +0200
+++ b/kallithea/public/css/style.css	Sun Oct 29 01:31:02 2017 +0200
@@ -165,12 +165,6 @@
 div.panel.panel-default > div.panel-heading {
   background: #eee;
 }
-#content div.panel div.panel-heading .pull-left {
-  margin-right: 10px;
-}
-#content div.panel div.panel-heading .pull-right {
-  margin-left: 10px;
-}
 #content div.panel div.form div.form-group {
   border-bottom: 1px solid #DDD;
   clear: both;
diff -r 22dfe2da4fc3 -r f470ea0a35d2 kallithea/public/less/style.less
--- a/kallithea/public/less/style.less	Sun Oct 29 01:31:02 2017 +0200
+++ b/kallithea/public/less/style.less	Sun Oct 29 01:31:02 2017 +0200
@@ -186,12 +186,6 @@
 div.panel.panel-default > div.panel-heading {
   background: #eee;
 }
-#content div.panel div.panel-heading .pull-left {
-  margin-right: 10px;
-}
-#content div.panel div.panel-heading .pull-right {
-  margin-left: 10px;
-}
 
 #content div.panel div.form div.form-group {
   border-bottom: 1px solid #DDD;