Idris2Doc : CyBy.UI.CSS.Vars

CyBy.UI.CSS.Vars

(source)

Reexports

importpublic CyBy.UI.CSS.Tailwind

Definitions

recordVars : Type
  Variables to be used in CSS styling.

Totality: total
Visibility: public export
Constructor: 
V : TailwindColor->TailwindColor->TailwindColor->Color->Color->Color->Color->Color->FontSize->FontSize->FontSize->Width->Width->Width->Length->Width->Width->BorderRadius->Length->Width->Width->Length->Length->Length->Vars

Projections:
.barSepMargin : Vars->Length
.barSepRadius : Vars->BorderRadius
.barSepWidth : Vars->Width
.bardim : Vars->Length
.debugColor : Vars->Color
.errorColor : Vars->Color
.formLblWidth : Vars->Width
.formSepWidth : Vars->Width
.gray : Vars->TailwindColor
.infoColor : Vars->Color
.largePadding : Vars->Length
.levelWidth : Vars->Width
.padding : Vars->Length
.primary : Vars->TailwindColor
.secondary : Vars->TailwindColor
.smallFont : Vars->FontSize
.smallPadding : Vars->Length
.titleHeight : Vars->Width
.titleSepWidth : Vars->Width
.traceColor : Vars->Color
.warnColor : Vars->Color
.widgetHeight : Vars->Width
.xsmallFont : Vars->FontSize
.xxsmallFont : Vars->FontSize
.gray : Vars->TailwindColor
Totality: total
Visibility: public export
gray : Vars->TailwindColor
Totality: total
Visibility: public export
.primary : Vars->TailwindColor
Totality: total
Visibility: public export
primary : Vars->TailwindColor
Totality: total
Visibility: public export
.secondary : Vars->TailwindColor
Totality: total
Visibility: public export
secondary : Vars->TailwindColor
Totality: total
Visibility: public export
.errorColor : Vars->Color
Totality: total
Visibility: public export
errorColor : Vars->Color
Totality: total
Visibility: public export
.warnColor : Vars->Color
Totality: total
Visibility: public export
warnColor : Vars->Color
Totality: total
Visibility: public export
.infoColor : Vars->Color
Totality: total
Visibility: public export
infoColor : Vars->Color
Totality: total
Visibility: public export
.debugColor : Vars->Color
Totality: total
Visibility: public export
debugColor : Vars->Color
Totality: total
Visibility: public export
.traceColor : Vars->Color
Totality: total
Visibility: public export
traceColor : Vars->Color
Totality: total
Visibility: public export
.smallFont : Vars->FontSize
Totality: total
Visibility: public export
smallFont : Vars->FontSize
Totality: total
Visibility: public export
.xsmallFont : Vars->FontSize
Totality: total
Visibility: public export
xsmallFont : Vars->FontSize
Totality: total
Visibility: public export
.xxsmallFont : Vars->FontSize
Totality: total
Visibility: public export
xxsmallFont : Vars->FontSize
Totality: total
Visibility: public export
.levelWidth : Vars->Width
Totality: total
Visibility: public export
levelWidth : Vars->Width
Totality: total
Visibility: public export
.titleHeight : Vars->Width
Totality: total
Visibility: public export
titleHeight : Vars->Width
Totality: total
Visibility: public export
.titleSepWidth : Vars->Width
Totality: total
Visibility: public export
titleSepWidth : Vars->Width
Totality: total
Visibility: public export
.bardim : Vars->Length
Totality: total
Visibility: public export
bardim : Vars->Length
Totality: total
Visibility: public export
.formLblWidth : Vars->Width
Totality: total
Visibility: public export
formLblWidth : Vars->Width
Totality: total
Visibility: public export
.barSepWidth : Vars->Width
Totality: total
Visibility: public export
barSepWidth : Vars->Width
Totality: total
Visibility: public export
.barSepRadius : Vars->BorderRadius
Totality: total
Visibility: public export
barSepRadius : Vars->BorderRadius
Totality: total
Visibility: public export
.barSepMargin : Vars->Length
Totality: total
Visibility: public export
barSepMargin : Vars->Length
Totality: total
Visibility: public export
.formSepWidth : Vars->Width
Totality: total
Visibility: public export
formSepWidth : Vars->Width
Totality: total
Visibility: public export
.widgetHeight : Vars->Width
Totality: total
Visibility: public export
widgetHeight : Vars->Width
Totality: total
Visibility: public export
.padding : Vars->Length
Totality: total
Visibility: public export
padding : Vars->Length
Totality: total
Visibility: public export
.smallPadding : Vars->Length
Totality: total
Visibility: public export
smallPadding : Vars->Length
Totality: total
Visibility: public export
.largePadding : Vars->Length
Totality: total
Visibility: public export
largePadding : Vars->Length
Totality: total
Visibility: public export
defaultVars : Vars
Totality: total
Visibility: export
bg : Vars=>Color
  Default background colour

Totality: total
Visibility: export
fg : Vars=>Color
  Default text colour

Totality: total
Visibility: export
headerFG : Vars=>Color
Totality: total
Visibility: export
headerBG : Vars=>Color
Totality: total
Visibility: export
compBorder : Vars=>Color
Totality: total
Visibility: export
widgetFG : Vars=>Color
Totality: total
Visibility: export
widgetBG : Vars=>Color
Totality: total
Visibility: export
widgetInvertFG : Vars=>Color
Totality: total
Visibility: export
widgetInvertBG : Vars=>Color
Totality: total
Visibility: export
hoverBG : Vars=>Color
Totality: total
Visibility: export
hoverInvertBG : Vars=>Color
Totality: total
Visibility: export
activeFG : Vars=>Color
Totality: total
Visibility: export
activeBG : Vars=>Color
Totality: total
Visibility: export
disabledFG : Vars=>Color
Totality: total
Visibility: export
disabledBG : Vars=>Color
Totality: total
Visibility: export
missingFG : Vars=>Color
Totality: total
Visibility: export
bar : Vars=>Color
Totality: total
Visibility: export