Fix github theme mistype and remove strange font-weight hard reset

This commit is contained in:
DanyaPostfactum 2012-10-01 19:15:00 +10:00
commit 2b7b07f02d

View file

@ -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);