mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-20 23:48:05 +03:00
Move gutter padding out of .line-number to .gutter
This makes viewing an editor without line numbers prettier.
This commit is contained in:
parent
ec4bb162c3
commit
502d3c2957
@ -30,7 +30,7 @@
|
||||
cursor: default;
|
||||
}
|
||||
|
||||
.editor .gutter .line-number {
|
||||
.editor .gutter {
|
||||
padding-right: .5em;
|
||||
padding-left: .5em;
|
||||
box-sizing: border-box;
|
||||
|
Loading…
Reference in New Issue
Block a user