From bb6f7b13725fdc76950c54e5201e102bc97f9d17 Mon Sep 17 00:00:00 2001
From: Jack Lukic <jack@quirky.com>
Date: Wed, 24 Apr 2013 18:53:46 -0400
Subject: [PATCH] brightens tag in highlighting

Former-commit-id: 5a38859097e747b1f7c4ca56e4334a6a238c53f1
Former-commit-id: bfb39e696702de27097c842bf621784f7fc1cdb0
---
 docs/stylesheets/example.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/stylesheets/example.css b/docs/stylesheets/example.css
index f152dbf3b..fadd04e83 100755
--- a/docs/stylesheets/example.css
+++ b/docs/stylesheets/example.css
@@ -328,7 +328,7 @@ a:hover {
   color: #555555;
 }
 #example div.code .ace_tag {
-  color: #7F6277;
+  color: #892A6F;
 }
 #example div.code .ace_indent-guide {
   position: relative;