Update button.json

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

View File

@ -21,21 +21,6 @@
"name": "$button-border-color", "name": "$button-border-color",
"value": "$grey-lighter" "value": "$grey-lighter"
}, },
"button-border-width": {
"id": "button-border-width",
"name": "$button-border-width",
"value": "$control-border-width"
},
"button-padding-vertical": {
"id": "button-padding-vertical",
"name": "$button-padding-vertical",
"value": "calc(0.375em - #{$button-border-width})"
},
"button-padding-horizontal": {
"id": "button-padding-horizontal",
"name": "$button-padding-horizontal",
"value": "0.75em"
},
"button-hover-color": { "button-hover-color": {
"id": "button-hover-color", "id": "button-hover-color",
"name": "$button-hover-color", "name": "$button-hover-color",