From 2b7b07f02d3eacee0c1c7e4b7b2b1f4e3781be24 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Mon, 1 Oct 2012 19:15:00 +1000
Subject: [PATCH] Fix github theme mistype and remove strange font-weight hard
 reset

---
 lib/ace/theme/github.css | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/lib/ace/theme/github.css b/lib/ace/theme/github.css
index cdbcc52c..3dc69b27 100644
--- a/lib/ace/theme/github.css
+++ b/lib/ace/theme/github.css
@@ -55,7 +55,7 @@
   font-weight: normal;
 }
 
-.ace-github .ace_variable.ace_instancce {
+.ace-github .ace_variable.ace_instance {
   color: teal;
 }
 
@@ -78,18 +78,15 @@
 .ace-github .ace_marker-layer .ace_active-line {
   background: rgb(255, 255, 204);
 }
+
 .ace-github .ace_marker-layer .ace_selection {
   background: rgb(181, 213, 255);
 }
+
 .ace-github.ace_multiselect .ace_selection.ace_start {
   box-shadow: 0 0 3px 0px white;
   border-radius: 2px;
 }
-/* bold keywords cause cursor issues for some fonts */
-/* this disables bold style for editor and keeps for static highlighter */
-.ace-github.ace_editor .ace_line > span {
-    font-weight: normal !important;
-}
 
 .ace-github .ace_marker-layer .ace_step {
   background: rgb(252, 255, 0);