2016-11-15 01:19:04 +01:00
|
|
|
.ace_gutter {
|
|
|
|
border-top-left-radius: 4px;
|
|
|
|
border-bottom-left-radius: 4px;
|
|
|
|
}
|
|
|
|
.ace_scroller {
|
|
|
|
border-top-right-radius: 4px;
|
|
|
|
border-bottom-right-radius: 4px;
|
|
|
|
}
|
2018-10-19 00:49:47 +02:00
|
|
|
|
2019-05-08 14:26:48 +02:00
|
|
|
#red-ui-event-log-editor {
|
2018-10-19 00:49:47 +02:00
|
|
|
.ace_scroller {
|
|
|
|
background: #444;
|
|
|
|
color: #dd9;
|
|
|
|
}
|
|
|
|
.ace_active-line {
|
|
|
|
background: #666 !important;
|
|
|
|
}
|
|
|
|
.ace_selection {
|
|
|
|
background: #999 !important;
|
|
|
|
}
|
|
|
|
}
|
2018-10-19 11:42:39 +02:00
|
|
|
|
|
|
|
.ace_tooltip {
|
|
|
|
background-image: none;
|
|
|
|
background: #fcffdc;
|
|
|
|
border-radius: 4px;
|
|
|
|
@include component-shadow;
|
|
|
|
border-color: $primary-border-color;
|
|
|
|
}
|