update stylesheet for pygments.

diff --git a/web/build_farm.css b/web/build_farm.css
index 5ceb440f0dfb1becba7fb91e9bbc50600baa3405..e3dd0a3c5394e0c8a8dca43aff1521fb9a52edd0 100644 (file)
--- a/web/build_farm.css
+++ b/web/build_farm.css
@@ -186,24 +186,21 @@ div.build-section {
        background:transparent;
 }
 
        background:transparent;
 }
 

-.diff_index {
+.gh {

         color: blue;
 }
         color: blue;
 }

-.diff_removed {
+.gd {

         color: #a00000;
 }
         color: #a00000;
 }

-.diff_added {
+.gi {

         color: #0a0;
 }
         color: #0a0;
 }

-.diff_fragment_header {
+.gh {

         color: purple;
 }
         color: purple;
 }

-.diff_separator {
+.gu {

         color: green;
 }
         color: green;
 }

-.diff_diff {
-        color: red;
-}

 
 .history_row { 
         background-color: #E5E9F5;
 
 .history_row { 
         background-color: #E5E9F5;