# HG changeset patch
# User domruf <dominikruf@gmail.com>
# Date 1509231264 -7200
# Node ID 5bfea0b02e243c6e190cf6d217a461afc8feec40
# Parent  61743ed3c7be2a34c3276e2e0d3f16486d1474a4
less: use Bootstrap badge style

Also use same badge coloring in navbar inverse as in panel-heading.

diff -r 61743ed3c7be -r 5bfea0b02e24 kallithea/public/less/style.less
--- a/kallithea/public/less/style.less	Sat Oct 28 19:58:14 2017 +0200
+++ b/kallithea/public/less/style.less	Sun Oct 29 00:54:24 2017 +0200
@@ -832,13 +832,6 @@
 input.status_change_radio {
   margin: 0 0 5px 15px;
 }
-.badge {
-  padding: 4px 4px !important;
-  text-align: center;
-  color: #888 !important;
-  background-color: #DEDEDE !important;
-  border-radius: 4px !important;
-}
 @keyframes animated-comment-background {
   0% {
     background-position: 0 0;
@@ -1036,6 +1029,14 @@
   outline: 0;
 }
 
+/* use same badge coloring in navbar inverse as in panel-heading */
+.navbar-inverse {
+  .badge {
+    color: @navbar-inverse-bg;
+    background-color: @navbar-inverse-color;
+  }
+}
+
 /* pygments style */
 div.search-code-body pre .match {
   background-color: #FAFFA6;