2016-07-06 21:09:05 +02:00
|
|
|
.sidebar__file-list {
|
|
|
|
border-top: 1px solid $ide-border-color;
|
|
|
|
}
|
|
|
|
|
|
|
|
.sidebar__file-item {
|
2016-07-08 21:58:49 +02:00
|
|
|
padding: #{8 / $base-font-size}rem #{20 / $base-font-size}rem;
|
2016-07-06 21:09:05 +02:00
|
|
|
color: $light-inactive-text-color;
|
|
|
|
}
|
|
|
|
|
|
|
|
.sidebar__file-item--selected {
|
|
|
|
background-color: $ide-border-color;
|
|
|
|
}
|