mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-11-11 04:48:44 +03:00
Fix tree padding broken by bootstrap upgrade
This commit is contained in:
parent
6587bbc2dc
commit
7241635fdf
@ -3,7 +3,7 @@
|
|||||||
@import "octicon-mixins";
|
@import "octicon-mixins";
|
||||||
|
|
||||||
.list-group, .list-tree {
|
.list-group, .list-tree {
|
||||||
margin: 0;
|
margin: 0; padding: 0;
|
||||||
list-style: none;
|
list-style: none;
|
||||||
|
|
||||||
li:not(.list-nested-item),
|
li:not(.list-nested-item),
|
||||||
|
@ -57,7 +57,7 @@
|
|||||||
@disclosure-arrow-size: 12px;
|
@disclosure-arrow-size: 12px;
|
||||||
|
|
||||||
@component-padding: 10px;
|
@component-padding: 10px;
|
||||||
@component-icon-padding: @line-height-base / 4;
|
@component-icon-padding: 5px;
|
||||||
@component-icon-size: 16px;
|
@component-icon-size: 16px;
|
||||||
@component-line-height: @line-height-base * 1.25;
|
@component-line-height: @line-height-base * 1.25;
|
||||||
@component-border-radius: 2px;
|
@component-border-radius: 2px;
|
||||||
|
Loading…
Reference in New Issue
Block a user