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

This commit is contained in:
Weblate 2017-10-31 18:02:38 +00:00
commit 62d249442e

View file

@ -74,7 +74,7 @@ limitations under the License.
margin: 0;
padding: 2px 10px;
// background-color: $e2e-verified-color;
// border-bottom: 1px solid $primary-hairline-color;
border-bottom: 1px solid $primary-hairline-color;
font-size: 10px;
}