CSS: Remove class pull-left

Usage as class is discouraged. pull-right still in use. Should also be removed.

modules/monitoring/public/css/module.less

@@ -92,7 +92,7 @@
 .grid {
   .hosts-summary,
   .services-summary {
-    .pull-left();
+    float: left;
   }
 }
 
@@ -307,10 +307,6 @@ div.box.stats {
   color: @gray;
 }
 
-.stats > .pull-left  {
-  float: none;
-}
-
 .stats > h3 {
   color: @gray;
   text-align: left;

public/css/icinga/grid.less

@@ -6,7 +6,7 @@
 
 [class^="col-"],
 [class*=" col-"] {
-  .pull-left();
+  float: left;
   // Fix that empty columns don't consume their width
   min-height: 1px;
 }

public/css/icinga/main.less

@@ -34,10 +34,6 @@
   white-space: pre-wrap;
 }
 
-.pull-left {
-  float: left;
-}
-
 .pull-right {
   float: right;
 }