[{"name":"ThemeSpec","comment":" ThemeSpec is a theme specification that can be used across a variety of projects to quickly theme them based on CSS vars. Themes are scoped and multiple can be used at the same time in an application. ThemeSpec is fully compatible with darkmode and any theme can have dark variants.\n\n\n# Theme\n\n@docs Theme, ThemeColor\n\n\n# Default Themes\n\n@docs lightTheme, darkTheme\n\n\n# Setup\n\n@docs globalProvider, provider\n\n\n# Dark Mode\n\n@docs globalProviderWithDarkMode, providerWithDarkMode, DarkModeStrategy\n\n\n# Theme Sample\n\n@docs sample\n\n\n# Theme Variables\n\n@docs fontTitle, fontText, fontCode, borderRadius, borderRadiusLarge, focus, background, backgroundContrast, backgroundDark, backgroundLight, backgroundShadow, backgroundTint, color, colorContrast, colorDark, colorLight, colorShadow, colorTint, danger, dangerContrast, dangerDark, dangerLight, dangerShadow, dangerTint, highlight, highlightContrast, highlightDark, highlightLight, highlightShadow, highlightTint, success, successContrast, successDark, successLight, successShadow, successTint, warning, warningContrast, warningDark, warningLight, warningShadow, warningTint\n\n\n# Low-level\n\n@docs toString\n\n","unions":[{"name":"DarkModeStrategy","comment":" Defines the dark mode strategy.\n\n  - `SystemStrategy` uses the user system settings.\n  - `ClassStrategy` uses the presence of a CSS class to determine dark mode.\n\n","args":[],"cases":[["SystemStrategy",[]],["ClassStrategy",["String.String"]]]}],"aliases":[{"name":"Theme","comment":" ","args":[],"type":"{ fontTitle : String.String, fontText : String.String, fontCode : String.String, borderRadius : Basics.Int, borderRadiusLarge : Basics.Int, focus : String.String, background : ThemeSpec.ThemeColor, color : ThemeSpec.ThemeColor, highlight : ThemeSpec.ThemeColor, success : ThemeSpec.ThemeColor, warning : ThemeSpec.ThemeColor, danger : ThemeSpec.ThemeColor }"},{"name":"ThemeColor","comment":" ","args":[],"type":"{ base : String.String, light : String.String, dark : String.String, tint : String.String, contrast : String.String, shadow : String.String }"}],"values":[{"name":"background","comment":" `var(--tmspc-color-base)`\n","type":"String.String"},{"name":"backgroundContrast","comment":" `var(--tmspc-background-contrast)`\n","type":"String.String"},{"name":"backgroundDark","comment":" `var(--tmspc-background-dark)`\n","type":"String.String"},{"name":"backgroundLight","comment":" `var(--tmspc-background-light)`\n","type":"String.String"},{"name":"backgroundShadow","comment":" `var(--tmspc-background-shadow)`\n","type":"String.String"},{"name":"backgroundTint","comment":" `var(--tmspc-background-tint)`\n","type":"String.String"},{"name":"borderRadius","comment":" `var(--tmspc-border-radius)`\n\nUsually used for the border radius of small elements. (e.g. buttons)\n\n","type":"String.String"},{"name":"borderRadiusLarge","comment":" `var(--tmspc-border-radius-large)`\n\nUsually used for the border radius of large elements. (e.g. cards)\n\n","type":"String.String"},{"name":"color","comment":" `var(--tmspc-color-base)`\n","type":"String.String"},{"name":"colorContrast","comment":" `var(--tmspc-color-contrast)`\n","type":"String.String"},{"name":"colorDark","comment":" `var(--tmspc-color-dark)`\n","type":"String.String"},{"name":"colorLight","comment":" `var(--tmspc-color-light)`\n","type":"String.String"},{"name":"colorShadow","comment":" `var(--tmspc-color-shadow)`\n","type":"String.String"},{"name":"colorTint","comment":" `var(--tmspc-color-tint)`\n","type":"String.String"},{"name":"danger","comment":" `var(--tmspc-danger-base)`\n","type":"String.String"},{"name":"dangerContrast","comment":" `var(--tmspc-danger-contrast)`\n","type":"String.String"},{"name":"dangerDark","comment":" `var(--tmspc-danger-dark)`\n","type":"String.String"},{"name":"dangerLight","comment":" `var(--tmspc-danger-light)`\n","type":"String.String"},{"name":"dangerShadow","comment":" `var(--tmspc-danger-shadow)`\n","type":"String.String"},{"name":"dangerTint","comment":" `var(--tmspc-danger-tint)`\n","type":"String.String"},{"name":"darkTheme","comment":" ","type":"ThemeSpec.Theme"},{"name":"focus","comment":" `var(--tmspc-focus)`\n\nUsually used for accessibility purposes.\n\n","type":"String.String"},{"name":"fontCode","comment":" `var(--tmspc-font-code)`\n","type":"String.String"},{"name":"fontText","comment":" `var(--tmspc-font-text)`\n","type":"String.String"},{"name":"fontTitle","comment":" `var(--tmspc-font-title)`\n","type":"String.String"},{"name":"globalProvider","comment":" ","type":"ThemeSpec.Theme -> Html.Html msg"},{"name":"globalProviderWithDarkMode","comment":" ","type":"{ light : ThemeSpec.Theme, dark : ThemeSpec.Theme, strategy : ThemeSpec.DarkModeStrategy } -> Html.Html msg"},{"name":"highlight","comment":" `var(--tmspc-highlight-base)`\n","type":"String.String"},{"name":"highlightContrast","comment":" `var(--tmspc-highlight-contrast)`\n","type":"String.String"},{"name":"highlightDark","comment":" `var(--tmspc-highlight-dark)`\n","type":"String.String"},{"name":"highlightLight","comment":" `var(--tmspc-highlight-light)`\n","type":"String.String"},{"name":"highlightShadow","comment":" `var(--tmspc-highlight-shadow)`\n","type":"String.String"},{"name":"highlightTint","comment":" `var(--tmspc-highlight-tint)`\n","type":"String.String"},{"name":"lightTheme","comment":" ","type":"ThemeSpec.Theme"},{"name":"provider","comment":" ","type":"ThemeSpec.Theme -> List.List (Html.Attribute msg) -> List.List (Html.Html msg) -> Html.Html msg"},{"name":"providerWithDarkMode","comment":" ","type":"{ light : ThemeSpec.Theme, dark : ThemeSpec.Theme, strategy : ThemeSpec.DarkModeStrategy } -> List.List (Html.Attribute msg) -> List.List (Html.Html msg) -> Html.Html msg"},{"name":"sample","comment":" Renders an element that showcases all the current theme's colors and settings.\n","type":"Html.Html msg"},{"name":"success","comment":" `var(--tmspc-success-base)`\n","type":"String.String"},{"name":"successContrast","comment":" `var(--tmspc-success-contrast)`\n","type":"String.String"},{"name":"successDark","comment":" `var(--tmspc-success-dark)`\n","type":"String.String"},{"name":"successLight","comment":" `var(--tmspc-success-light)`\n","type":"String.String"},{"name":"successShadow","comment":" `var(--tmspc-success-shadow)`\n","type":"String.String"},{"name":"successTint","comment":" `var(--tmspc-success-tint)`\n","type":"String.String"},{"name":"toString","comment":" Use this if you want to create your own custom providers. This should only be useful for theme-spec interop library authors.\n","type":"ThemeSpec.Theme -> String.String"},{"name":"warning","comment":" `var(--tmspc-warning-base)`\n","type":"String.String"},{"name":"warningContrast","comment":" `var(--tmspc-warning-contrast)`\n","type":"String.String"},{"name":"warningDark","comment":" `var(--tmspc-warning-dark)`\n","type":"String.String"},{"name":"warningLight","comment":" `var(--tmspc-warning-light)`\n","type":"String.String"},{"name":"warningShadow","comment":" `var(--tmspc-warning-shadow)`\n","type":"String.String"},{"name":"warningTint","comment":" `var(--tmspc-warning-tint)`\n","type":"String.String"}],"binops":[]}]