Idris2Doc : CyBy.UI.CSS.Vars

CyBy.UI.CSS.Vars

(source)

Reexports

import public Text.CSS.Tailwind

Definitions

record Vars : 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