Drop checker prefix (color should be sufficient).

diff --git a/web/build_farm.css b/web/build_farm.css
index e3dd0a3c5394e0c8a8dca43aff1521fb9a52edd0..860d4384e7f0b60b10cf3c27f1155a9538d14c6c 100644 (file)
--- a/web/build_farm.css
+++ b/web/build_farm.css
@@ -70,9 +70,6 @@ a + div.action.status {margin-left: 0.5em;}
 .status.checker { 
         color: rgb(255, 127, 0);
 }
-.status.checker:before { 
-        content: "Checker: ";
-}
 .status.unknown { 
         color: rgb(0, 0, 255);
 }