From 1c592e6a57d6d5b382f650e815f6358b919e45e0 Mon Sep 17 00:00:00 2001
From: Luciano Quercia <luciano.quercia@gmail.com>
Date: Mon, 15 Sep 2014 10:36:47 +0200
Subject: [PATCH] Fixed wrong color code

---
 github.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/github.xml b/github.xml
index d5dd0c9..8371c28 100644
--- a/github.xml
+++ b/github.xml
@@ -28,7 +28,7 @@
   <color name="background" value="#F8F8FF"/>
   <color name="caret" value="#000000"/>
   <color name="foreground" value="#000000"/>
-  <color name="highlight" value="#00000012"/>
+  <color name="highlight" value="#0000012"/>
   <color name="comment" value="#999988"/>
   <color name="keyword" value="#000000"/>
   <color name="function" value="#990000"/>