mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-10 10:17:11 +03:00
Make gutter line number's position relative
This makes it easier to decorate line numbers.
This commit is contained in:
parent
e00e87a845
commit
1156018c0d
@ -36,6 +36,7 @@
|
||||
padding-right: .5em;
|
||||
padding-left: .5em;
|
||||
opacity: 0.6;
|
||||
position: relative;
|
||||
}
|
||||
|
||||
.editor .gutter .line-numbers {
|
||||
|
Loading…
Reference in New Issue
Block a user