mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2025-01-07 15:49:23 +03:00
Add top padding to directories
This commit is contained in:
parent
790c9714c7
commit
9ad65e6e46
@ -27,7 +27,7 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
.tree {
|
.tree {
|
||||||
padding: 5px;
|
padding: 0 5px 5px 5px;
|
||||||
}
|
}
|
||||||
|
|
||||||
.entry {
|
.entry {
|
||||||
@ -54,7 +54,7 @@
|
|||||||
|
|
||||||
span.directory {
|
span.directory {
|
||||||
display: inline-block;
|
display: inline-block;
|
||||||
padding-left: 5px;
|
padding: 5px 0 0 5px;
|
||||||
|
|
||||||
&:before {
|
&:before {
|
||||||
margin-right: @icon-margin;
|
margin-right: @icon-margin;
|
||||||
|
Loading…
Reference in New Issue
Block a user