pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-11-10 18:24:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Group mini-editor css styles

Browse Source
This commit is contained in:
probablycorey 2013-08-07 16:59:15 -07:00
parent d13d0543b9
commit 9a2e768882
1 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
static/editor.less
View File

@ -12,17 +12,6 @@
line-height: 1.3;
}
.editor.mini {
height: auto;
line-height: 25px;
}
.editor.mini .cursor {
width: 2px;
line-height: 20px;
margin-top: 2px;
}
.editor .gutter .line-number.cursor-line {
opacity: 1;
}
@ -54,10 +43,6 @@
visibility: visible;
}
.editor.mini .gutter {
display: none;
}
.editor .gutter .line-number:after {
.icon(0.8em);
content: @chevron-right;
@ -111,10 +96,6 @@
position: relative;
}
.editor.mini .scroll-view {
overflow: hidden;
}
.editor.soft-wrap .scroll-view {
overflow-x: hidden;
}
@ -177,3 +158,22 @@
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;
}
}