Hide pretest information by default

diff --git a/web/build_farm.css b/web/build_farm.css
index 9b472f4766561b5512bf4d8852ca2e035cdbbcd6..a82263dc93a2774ff4e417025a86724cde8affc0 100644 (file)
--- a/web/build_farm.css
+++ b/web/build_farm.css
@@ -18,6 +18,7 @@
        color: rgb(0, 0, 0);
        font-family: monospace;
 }
+#log .output .pretest { display: none;}
 #log div.unit {
        margin: 5px;
        padding: 10px;