ace/editor.css
2010-04-09 14:10:31 +02:00

95 lines
No EOL
1.4 KiB
CSS

.editor {
position: absolute;
border: 2px solid rgb(159, 159, 159);
overflow: hidden;
}
.editor.focus {
border: 2px solid #327fbd;;
}
.scroller {
position: absolute;
left: 50px;
right: 0;
bottom: 0;
top: 0;
overflow-x: scroll;
overflow-y: hidden;
}
.gutter {
position: absolute;
width: 50px;
top: 0px;
bottom: 0px;
overflow-x: scroll;
overflow-y: hidden;
background: rgb(227, 227, 227);
border-right: 1px solid rgb(159, 159, 159);
color: rgb(136, 136, 136);
font-family: Monaco, "Courier New";
font-size: 12px;
-webkit-box-sizing: border-box;
box-sizing: border-box;
}
.layer {
position: absolute;
overflow: hidden;
white-space: nowrap;
-webkit-box-sizing: border-box;
box-sizing: border-box;
}
.gutter-layer {
right: 0;
text-align: right;
padding-right: 10px;
-webkit-box-sizing: border-box;
box-sizing: border-box;
}
.text-layer {
font-family: Monaco, "Courier New", monospace;
font-size: 12px;
cursor: text;
}
.cursor {
position: absolute;
width: 2px;
background: black;
}
.line {
white-space: nowrap;
}
.line .keyword {
color: blue;
}
.line .string {
color: rgb(3, 106, 7);
}
.line .comment {
font-style: italic;
color: rgb(0, 102, 255);
}
.line .number {
color: rgb(0, 0, 205);
}
.line .xml_pe {
color: rgb(104, 104, 91);
}
.marker-layer .selection {
position: absolute;
background: rgba(77, 151, 255, 0.33);
}