Fix minor style issue -- facet badges out of alignment.

afae79b6 · Demian Katz · 21b4bf0c · afae79b6 · afae79b6
Commit afae79b6 authored 6 years ago by Demian Katz
--- a/themes/bootprint3/css/compiled.css
+++ b/themes/bootprint3/css/compiled.css
--- a/themes/bootprint3/less/bootprint.less
+++ b/themes/bootprint3/less/bootprint.less
@@ -169,5 +169,8 @@ ul.random.image li img { margin: 0 auto; }
  color: #fff;
  &:hover { color: @brand-danger; }
 }
-.jstree-facet .facet { padding: 0; }
+.jstree-facet .facet {
+  padding: 0;
+  padding-right: 10px;
+}
 .jstree-node.active { background-color: @active-orange; }