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

This commit is contained in:
Weblate 2017-11-03 22:44:46 +00:00
commit a42414eabd
2 changed files with 2 additions and 1 deletions

View File

@ -100,6 +100,7 @@ limitations under the License.
display: inline; display: inline;
padding-left: 5px; padding-left: 5px;
padding-right: 5px; padding-right: 5px;
margin-right: 5px;
height: 15px; height: 15px;
border-radius: 11px; border-radius: 11px;
background-color: $plinth-bg-color; background-color: $plinth-bg-color;