From: Jeremy Thomas Date: Tue, 10 Apr 2018 09:58:39 +0000 (+0100) Subject: Update button.json X-Git-Tag: 0.7.0~5 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1aedf1be6facaaa9718c0dc0ea6f15f5a6192bd;p=thirdparty%2Fbulma.git Update button.json --- diff --git a/docs/_data/variables/elements/button.json b/docs/_data/variables/elements/button.json index cb8f82b60..c23c4340b 100644 --- a/docs/_data/variables/elements/button.json +++ b/docs/_data/variables/elements/button.json @@ -21,21 +21,6 @@ "name": "$button-border-color", "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": { "id": "button-hover-color", "name": "$button-hover-color",