Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Weblate 2018-02-16 22:22:37 +00:00
commit d0a38df67a

View file

@ -197,3 +197,8 @@ $progressbar-color: #000;
} }
} }
} }
// Add a line to the right side of the left panel to distinguish it from the middle panel
.mx_LeftPanel {
border-right: 1px solid $tertiary-accent-color;
}