$button-default-base-color: #C2CF00; $button-default-color: dynamic(#000000); $button-default-border-color: dynamic(#C2CF00); $button-default-background-color: dynamic(#C2CF00); $button-default-background-color-over: dynamic(#888888); $button-default-border-color-over: dynamic(#888888); $button-default-color-over: dynamic(#ffffff); $button-default-base-color-pressed: dynamic(#AAAAAA); $button-default-background-color-pressed: dynamic(#AAAAAA); $button-default-border-color-pressed: dynamic(#AAAAAA); $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(#888888); $button-default-inner-border-color-focus: dynamic(transparent); $button-default-inner-border-color-focus-over: dynamic(transparent);