From 31c035abcb2b94b763c0a2f7dd38747253ad4bd9 Mon Sep 17 00:00:00 2001
From: Guangcong Luo <guangcongluo@gmail.com>
Date: Wed, 15 Jul 2015 06:01:49 -0400
Subject: [PATCH] Make highlight background semitransparent

---
 style/client.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/style/client.css b/style/client.css
index 1240cae9e..e5d47ba85 100644
--- a/style/client.css
+++ b/style/client.css
@@ -1008,7 +1008,7 @@ p.or:after {
 	display: none;
 }
 .highlighted {
-	background-color: #FFDDAA;
+	background-color: rgba(255,180,100,0.33);
 }
 .revealed {
 	background-color: #C8FDEA;