BUTTON_SIZE: {
    readonly extra_small: "XSmall";
    readonly small: "Small";
    readonly medium: "Medium";
    readonly large: "Large";
    readonly extra_large: "XLarge";
}