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

This commit is contained in:
Weblate 2017-09-17 21:38:35 +00:00
commit aa6e68776c
1 changed files with 10 additions and 0 deletions

View File

@ -80,6 +80,16 @@ limitations under the License.
cursor: pointer; cursor: pointer;
} }
.mx_UserSettings_button.mx_UserSettings_buttonSmall {
height: 36px;
padding: 4px;
padding-left: 7px;
padding-right: 7px;
font-size: 12px;
margin-right: 5px;
line-height: 12px;
}
.mx_UserSettings_button.danger { .mx_UserSettings_button.danger {
background-color: $warning-color; background-color: $warning-color;
} }