[{"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 background, borderRadius, borderRadiusLarge, color, colorContrast, colorDark, colorLight, colorShadow, colorTint, danger, dangerContrast, dangerDark, dangerLight, dangerShadow, dangerTint, focus, fontCode, fontText, fontTitle, 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 : String.String, 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":" ","type":"String.String"},{"name":"borderRadius","comment":" ","type":"String.String"},{"name":"borderRadiusLarge","comment":" ","type":"String.String"},{"name":"color","comment":" ","type":"String.String"},{"name":"colorContrast","comment":" ","type":"String.String"},{"name":"colorDark","comment":" ","type":"String.String"},{"name":"colorLight","comment":" ","type":"String.String"},{"name":"colorShadow","comment":" ","type":"String.String"},{"name":"colorTint","comment":" ","type":"String.String"},{"name":"danger","comment":" ","type":"String.String"},{"name":"dangerContrast","comment":" ","type":"String.String"},{"name":"dangerDark","comment":" ","type":"String.String"},{"name":"dangerLight","comment":" ","type":"String.String"},{"name":"dangerShadow","comment":" ","type":"String.String"},{"name":"dangerTint","comment":" ","type":"String.String"},{"name":"darkTheme","comment":" ","type":"ThemeSpec.Theme"},{"name":"focus","comment":" ","type":"String.String"},{"name":"fontCode","comment":" ","type":"String.String"},{"name":"fontText","comment":" ","type":"String.String"},{"name":"fontTitle","comment":" ","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":" ","type":"String.String"},{"name":"highlightContrast","comment":" ","type":"String.String"},{"name":"highlightDark","comment":" ","type":"String.String"},{"name":"highlightLight","comment":" ","type":"String.String"},{"name":"highlightShadow","comment":" ","type":"String.String"},{"name":"highlightTint","comment":" ","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":" ","type":"String.String"},{"name":"successContrast","comment":" ","type":"String.String"},{"name":"successDark","comment":" ","type":"String.String"},{"name":"successLight","comment":" ","type":"String.String"},{"name":"successShadow","comment":" ","type":"String.String"},{"name":"successTint","comment":" ","type":"String.String"},{"name":"toString","comment":" ","type":"ThemeSpec.Theme -> String.String"},{"name":"warning","comment":" ","type":"String.String"},{"name":"warningContrast","comment":" ","type":"String.String"},{"name":"warningDark","comment":" ","type":"String.String"},{"name":"warningLight","comment":" ","type":"String.String"},{"name":"warningShadow","comment":" ","type":"String.String"},{"name":"warningTint","comment":" ","type":"String.String"}],"binops":[]}]