/* THIS THEME WAS AUTOGENERATED BY Theme.tmpl.css (UUID: ADD7FDE7-C6BE-454B-A71A-7951ED54FB04) */

.ace-eiffel .ace_gutter {
  background: #FFFFFF;
  color: #808080;
}

.ace-eiffel .ace_print-margin {
  width: 1px;
  background: #e8e8e8;
}

.ace-eiffel {
  background-color: #FFFFFF;
  color: #000000;
}

.ace-eiffel .ace_cursor {
  color: #000000;
}

.ace-eiffel .ace_marker-layer .ace_selection {
  background: #C3DCFF;
}

.ace-eiffel.ace_multiselect .ace_selection.ace_start {
  box-shadow: 0 0 3px 0px #FFFFFF;
  border-radius: 2px;
}

.ace-eiffel .ace_marker-layer .ace_step {
  background: rgb(198, 219, 174);
}

.ace-eiffel .ace_marker-layer .ace_bracket {
  margin: -1px 0 0 -1px;
  border: 1px solid #BFBFBF;
}

.ace-eiffel .ace_marker-layer .ace_active-line {
  background: rgba(0, 0, 0, 0.07);
}

.ace-eiffel .ace_gutter-active-line {
  background-color: rgba(0, 0, 0, 0.07);
}

.ace-eiffel .ace_marker-layer .ace_selected-word {
  border: 1px solid #C3DCFF
}

.ace-eiffel .ace_fold {
  background-color: #0000A2;
  border-color: #000000;
}

.ace-eiffel .ace_invisible {
  color: #BFBFBF;
}


.ace-eiffel .ace_keyword {
  font-weight: bold;
  color: #0100B6;

}

.ace-eiffel .ace_keyword.ace_operator {
  font-weight: bold;
  color: #0100B6;

}

.ace-eiffel .ace_constant {
  font-style: italic;
  color: #C5060B;

}

.ace-eiffel .ace_constant.ace_language {
  font-style: italic;
  color: #585CF6;

}

.ace-eiffel .ace_constant.ace_numeric {
  font-style: italic;
  color: #CD0000;

}

.ace-eiffel .ace_constant.ace_character.ace_escape {
  color: #26B31A;

}

.ace-eiffel .ace_support.ace_function {
  font-weight: bold;
  color: #3C4C72;

}

.ace-eiffel .ace_support.ace_constant {
  font-weight: bold;
  color: #06960E;

}

.ace-eiffel .ace_support.ace_class {
  font-weight: bold;
  color: #6D79DE;

}

.ace-eiffel .ace_support.ace_type {
  font-weight: bold;
  color: #6D79DE;

}

.ace-eiffel .ace_invalid {
  color: #FFFFFF;
  background-color: #990000;

}

.ace-eiffel .ace_string {
  color: #D80800;

}

.ace-eiffel .ace_comment {
  color: #00B418;

}

.ace-eiffel .ace_variable {
  font-style: italic;
  color: #0206FF;

}

.ace-eiffel .ace_variable.ace_parameter {
  font-style: italic;

}

.ace-eiffel .ace_meta.ace_tag {
  color: #1C02FF;

}

.ace-eiffel .ace_entity.ace_other.ace_attribute-name {
  font-style: italic;

}

.ace-eiffel .ace_entity.ace_name.ace_function {
  font-weight: bold;
  color: #0000A2;

}

.ace-eiffel .ace_entity.ace_name.ace_tag {
  font-weight: bold;

}

.ace-eiffel .ace_markup.ace_heading {
  font-weight: bold;
  color: #0C07FF;

}

.ace-eiffel .ace_markup.ace_list {
  color: #B90690;

}
