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

pull/7178/head
Weblate 2018-08-03 15:39:07 +00:00
commit 6de1f3e593
1 changed files with 1 additions and 0 deletions

View File

@ -76,6 +76,7 @@ $focus-brightness: 125%;
// red warning colour
$warning-color: #F69E98;
$warning-bg-color: #DF2A8B;
$mention-user-pill-bg-color: #ff0064;
$other-user-pill-bg-color: rgba(0, 0, 0, 0.1);