Style tweaks from @crhallberg unified code style.

themes/bootstrap3/less/bootstrap.less

@@ -431,42 +431,45 @@ li.jstree-facet .badge {
 /* jsTree arrows */
 .hierarchy-tree {
   .jstree-ocl:before {
-    font-family: 'FontAwesome';
-    float: left;
-    speak: none;
-    font-weight: normal;
-    font-style: normal;
-    text-decoration:
-    inherit;
-    cursor: pointer;
-    padding: 0;
-    width: 16px;
-    margin-left: -16px;
+    font-family:'FontAwesome';
+    float:left;
+    speak:none;
+    font-weight:normal;
+    font-style:normal;
+    text-decoration:inherit;
+    cursor:pointer;
+    padding:0;
+    width:10px;
+    margin-left:-10px;
   }
   .jstree-open > .jstree-ocl:before {
-    content: "\f0d7";
+    content:"\f0d7";
   }
   .jstree-closed > .jstree-ocl:before {
-    content: "\f0da";
+    content:"\f0da";
   }
   .jstree-leaf > .jstree-ocl:before {
-    content: " ";
+    content:" ";
   }
   .jstree-icon {
-    width: 16px;
+    color:#000;
+    width:16px;
   }
   .jstree-anchor {
-    white-space: nowrap;
-    padding-left: 1px;
+    white-space:nowrap;
+    padding:2px 5px;
   }
   .jstree-container-ul, .jstree-children {
-    padding-left: 16px;
+    padding-left:16px;
   }
   .jstree-initial-node {
-    display: none;
+    display:none;
   }
   .jstree-clicked {
-    color: @list-group-active-color;
-    background-color: @list-group-active-bg;
+    color:@list-group-active-color;
+    background-color:@list-group-active-bg;
+    .jstree-icon {
+      color:#FFF;
+    }
   }
 }