mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-10 10:17:11 +03:00
519ebb1ca6
Previously, we were nudging it upward. Something must have changed at some point because it looked too high.
200 lines
3.0 KiB
Plaintext
200 lines
3.0 KiB
Plaintext
@import "ui-variables";
|
|
@import "octicon-utf-codes";
|
|
@import "octicon-mixins";
|
|
|
|
.editor {
|
|
overflow: hidden;
|
|
cursor: text;
|
|
display: -webkit-flex;
|
|
-webkit-user-select: none;
|
|
position: relative;
|
|
z-index: 0;
|
|
font-family: Inconsolata, Monaco, Consolas, 'Courier New', Courier;
|
|
line-height: 1.3;
|
|
}
|
|
|
|
.editor .gutter .line-number.cursor-line {
|
|
opacity: 1;
|
|
}
|
|
|
|
.editor .gutter {
|
|
overflow: hidden;
|
|
text-align: right;
|
|
cursor: default;
|
|
min-width: 1em;
|
|
box-sizing: border-box;
|
|
}
|
|
|
|
.editor .gutter .line-number {
|
|
padding-left: .5em;
|
|
opacity: 0.6;
|
|
position: relative;
|
|
}
|
|
|
|
.editor .gutter .line-numbers {
|
|
position: relative;
|
|
}
|
|
|
|
.editor .gutter .line-number.folded.cursor-line {
|
|
opacity: 1;
|
|
}
|
|
|
|
.editor .gutter .line-number .icon-right {
|
|
.octicon(chevron-down, 0.8em);
|
|
display: inline-block;
|
|
visibility: hidden;
|
|
padding-left: .1em;
|
|
padding-right: .5em;
|
|
opacity: .7;
|
|
}
|
|
|
|
.editor .gutter:hover .line-number.foldable .icon-right {
|
|
visibility: visible;
|
|
|
|
&:before {
|
|
content: @chevron-down;
|
|
}
|
|
|
|
&:hover {
|
|
opacity: 1;
|
|
}
|
|
}
|
|
|
|
.editor .gutter, .editor .gutter:hover {
|
|
.line-number.folded .icon-right {
|
|
.octicon(chevron-right, 0.8em);
|
|
visibility: visible;
|
|
|
|
&:before { // chevron-right renders too far right compared to chevron-down
|
|
position: relative;
|
|
left: -.1em;
|
|
content: @chevron-right;
|
|
}
|
|
}
|
|
}
|
|
|
|
.editor .fold-marker:after {
|
|
.icon(0.8em, inline);
|
|
content: @ellipsis;
|
|
padding-left: 0.2em;
|
|
}
|
|
|
|
.editor .line.cursor-line .fold-marker:after {
|
|
opacity: 1;
|
|
}
|
|
|
|
.editor.is-blurred .line.cursor-line {
|
|
background: rgba(0, 0, 0, 0);
|
|
}
|
|
|
|
.editor .invisible-character {
|
|
font-weight: normal !important;
|
|
font-style: normal !important;
|
|
}
|
|
|
|
.editor .indent-guide {
|
|
display: inline-block;
|
|
box-shadow: inset 1px 0;
|
|
}
|
|
|
|
.editor .vertical-scrollbar {
|
|
position: absolute;
|
|
top: 0;
|
|
right: 0;
|
|
bottom: 0;
|
|
|
|
width: 15px;
|
|
overflow-y: auto;
|
|
z-index: 3;
|
|
}
|
|
|
|
.editor .scroll-view {
|
|
overflow-x: auto;
|
|
overflow-y: hidden;
|
|
-webkit-flex: 1;
|
|
min-width: 0;
|
|
position: relative;
|
|
}
|
|
|
|
.editor.soft-wrap .scroll-view {
|
|
overflow-x: hidden;
|
|
}
|
|
|
|
.editor .underlayer {
|
|
z-index: 0;
|
|
position: absolute;
|
|
min-height: 100%;
|
|
}
|
|
|
|
.editor .lines {
|
|
position: relative;
|
|
z-index: 1;
|
|
}
|
|
|
|
.editor .overlayer {
|
|
z-index: 2;
|
|
position: absolute;
|
|
}
|
|
|
|
.editor .line {
|
|
white-space: pre;
|
|
}
|
|
|
|
.editor .line span {
|
|
vertical-align: top;
|
|
}
|
|
|
|
.editor .cursor {
|
|
position: absolute;
|
|
border-left: 1px solid;
|
|
}
|
|
|
|
.editor .cursor,
|
|
.editor.is-focused .cursor.blink-off {
|
|
visibility: hidden;
|
|
}
|
|
|
|
.editor.is-focused .cursor {
|
|
visibility: visible;
|
|
}
|
|
|
|
.editor .hidden-input {
|
|
padding: 0;
|
|
border: 0;
|
|
position: absolute;
|
|
z-index: -1;
|
|
top: 0;
|
|
left: 0;
|
|
opacity: 0;
|
|
width: 1px;
|
|
}
|
|
|
|
.editor .selection .region {
|
|
position: absolute;
|
|
pointer-events: none;
|
|
z-index: -1;
|
|
}
|
|
|
|
.editor.mini {
|
|
height: auto;
|
|
line-height: 25px;
|
|
|
|
.cursor {
|
|
width: 2px;
|
|
line-height: 20px;
|
|
margin-top: 2px;
|
|
}
|
|
|
|
.gutter {
|
|
display: none;
|
|
}
|
|
|
|
.scroll-view {
|
|
overflow: hidden;
|
|
}
|
|
|
|
.placeholder-text {
|
|
color: @text-color-subtle;
|
|
}
|
|
}
|