Update variable JSONs

This commit is contained in:
Jeremy Thomas
2019-10-13 16:31:23 +01:00
parent 817c676a79
commit d0c84b97c9
26 changed files with 299 additions and 97 deletions

View File

@@ -21,7 +21,7 @@
},
"$control-height": {
"name": "$control-height",
"value": "2.25em",
"value": "2.5em",
"type": "size"
},
"$control-line-height": {
@@ -31,12 +31,12 @@
},
"$control-padding-vertical": {
"name": "$control-padding-vertical",
"value": "calc(0.375em - #{$control-border-width})",
"value": "calc(0.5em - #{$control-border-width})",
"type": "size"
},
"$control-padding-horizontal": {
"name": "$control-padding-horizontal",
"value": "calc(0.625em - #{$control-border-width})",
"value": "calc(0.75em - #{$control-border-width})",
"type": "size"
}
},