Update controls.json

This commit is contained in:
Jeremy Thomas 2018-04-10 10:59:24 +01:00 committed by GitHub
parent d1aedf1be6
commit e04455cfb4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,20 +16,15 @@
"name": "$control-radius-small",
"value": "$radius-small"
},
"control-border-width": {
"id": "control-border-width",
"name": "$control-border-width",
"value": "1px"
},
"control-padding-vertical": {
"id": "control-padding-vertical",
"name": "$control-padding-vertical",
"value": "calc(0.375em - #{$control-border-width})"
"value": "calc(0.375em - 1px)"
},
"control-padding-horizontal": {
"id": "control-padding-horizontal",
"name": "$control-padding-horizontal",
"value": "calc(0.625em - #{$control-border-width})"
"value": "calc(0.625em - 1px)"
}
}
}