Choose better colors for the diff page

This makes it easier to read on the light background and is not as
straining in the eyes.

diff --git a/style.css b/style.css
index 958b76b615b719b27a55690040fa44a5627e3218..8cf93d065132bd687f397180a461db4369d048b6 100644 (file)
--- a/style.css
+++ b/style.css
@@ -76,15 +76,15 @@ pre {
 }
 
 pre a.h {
-       color: darkblue;
+       color: #00a;
 }
 
 pre a.i {
-       color: green;
+       color: #070;
 }
 
 pre a.d {
-       color: red;
+       color: #e00;
 }
 
 pre a.h:hover,