$button-default-base-color: #afd377; $button-default-color: dynamic(#000000); $button-default-border-color: dynamic(#7ab51d); $button-default-background-color: dynamic(#aed276); $button-default-background-color-over: dynamic(#7ab51d); $button-default-color-over: dynamic(#FFFFFF); $button-default-border-color-over: dynamic(#7ab51d); $button-default-base-color-pressed: dynamic(#AAAAAA); $button-default-background-color-pressed: dynamic(#AAAAAA); $button-default-border-color-pressed: dynamic(#FFFFFF); $button-default-inner-border-color-pressed: dynamic(transparent); $button-default-inner-border-color-focus-pressed: dynamic(transparent); $button-default-base-color-focus: dynamic(#888888); $button-default-base-color-focus-over: dynamic(#888888); $button-default-border-color-focus: dynamic(#FFFFFF); $button-default-inner-border-color-focus: dynamic(transparent); $button-default-inner-border-color-focus-over: dynamic(transparent);