From 14b61a69f2ed76acb38427996dcf5925bfca814a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= <niklas.laxstrom@gmail.com>
Date: Fri, 23 Mar 2012 07:31:46 +0000
Subject: [PATCH] Darker colors for profileinfo

The original colors were indistinguishable on my screen.
Also adds bold on hover, to make it easier to match numbers to line.

Change-Id: I8e1ae3f123ad0ff57cb7531026f7ae8f83f79c67
---
 profileinfo.php | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/profileinfo.php b/profileinfo.php
index 1549349bfd..03a6f0f069 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -56,16 +56,20 @@ header( 'Content-Type: text/html; charset=utf-8' );
 		text-align: right;
 	}
 	td.timep, td.tpc, td.tpr {
-		background-color: #fffff0;
+		background-color: #ffff80;
 	}
 	td.memoryp, td.mpc, td.mpr {
-		background-color: #f0f8ff;
+		background-color: #80f8ff;
 	}
 	td.count, td,cpr {
-		background-color: #f0fff0;
+		background-color: #80ff80;
 	}
 	td.name {
-		background-color: #f9f9f9;
+		background-color: #89f9f9;
+	}
+
+	tr:hover {
+		font-weight: bold;
 	}
 </style>
 </head>
-- 
2.20.1