Merge branch 'develop' into travis/more-pinned-css

This commit is contained in:
Travis Ralston 2017-11-07 11:04:22 -07:00 committed by GitHub
commit 144cbd144e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 85 additions and 8 deletions

View file

@ -30,6 +30,10 @@ $pinned-color: #888;
$group-my-groups-placeholder-bg: #f7f7f7;
$group-my-groups-placeholder-fg: #888;
// informational plinth
$info-plinth-bg-color: #f7f7f7;
$info-plinth-fg-color: #888;
$preview-bar-bg-color: #f7f7f7;
// left-panel style muted accent color