replace border-size with border-width

This commit is contained in:
Simon Vieille 2022-12-04 00:13:28 +01:00
parent 81bcad348e
commit 1c2f04f63f
Signed by: deblan
GPG key ID: 579388D585F70417

View file

@ -186,7 +186,7 @@
}
.badge {
border-size: 1px;
border-width: 1px;
padding: 2px 8px;
margin-right: 2px;
margin-bottom: 5px;