From f0f534257a2706063c571e076f7311954e503042 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 13 Jun 2013 11:24:51 -0700
Subject: Change the background color of rule set list items

---
 src/js/fiveui/css/options.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/js/fiveui/css/options.css b/src/js/fiveui/css/options.css
index 65540e2..df5f766 100644
--- a/src/js/fiveui/css/options.css
+++ b/src/js/fiveui/css/options.css
@@ -155,7 +155,7 @@ ul.entries li.entry {
   border: 1px solid #CDCDCD;
   margin-top: 5px;
   padding: 10px;
-  background-color: #f0f0f0;
+  background-color: #EAEEF3;
 }
 
 li.entry .error {
-- 
cgit v1.2.3