interface PanelThemeVariables { panelHeaderBorder?: string | undefined; panelHeaderPadding?: string | undefined; panelHeaderBg?: string | undefined; panelHeaderTextColor?: string | undefined; panelHeaderFontWeight?: string | undefined; panelHeaderIconWidth?: string | undefined; panelHeaderIconHeight?: string | undefined; panelHeaderIconColor?: string | undefined; panelHeaderIconBorder?: string | undefined; panelHeaderIconBg?: string | undefined; panelHeaderIconBorderRadius?: string | undefined; panelHeaderIconTransition?: string | undefined; panelHeaderIconHoverColor?: string | undefined; panelHeaderIconHoverBorderColor?: string | undefined; panelHeaderIconHoverBg?: string | undefined; panelHeaderIconFocusOutline?: string | undefined; panelHeaderIconFocusOutlineOffset?: string | undefined; panelHeaderIconFocusShadow?: string | undefined; panelToggleableHeaderPadding?: string | undefined; panelContentPadding?: string | undefined; panelContentBorder?: string | undefined; panelContentBg?: string | undefined; panelContentTextColor?: string | undefined; panelContentBorderTop?: string | undefined; panelFooterPadding?: string | undefined; panelFooterBorder?: string | undefined; panelFooterBg?: string | undefined; panelFooterTextColor?: string | undefined; panelFooterBorderTop?: string | undefined; }