diff -r 039fe4e3534f -r 008566b90ba8 res/values/colors.xml
--- a/res/values/colors.xml	Sun Jan 08 12:08:22 2012 +0100
+++ b/res/values/colors.xml	Mon Jan 09 17:52:52 2012 +0100
@@ -2,6 +2,7 @@
 <resources>
 	<color name="blue_sky">#A0C8FF</color>
 	<color name="vert_manu">#CCFF00</color>
+	<color name="vert_manu_hl">#BCFF00</color>
 	<color name="black">#000000</color>
 	<color name="white">#FFFFFF</color>
 	<color name="red">#FF0000</color>