Idris2Doc : Text.CSS.Extra

Text.CSS.Extra

(source)
Reexports
import public Text.HTML
import public Text.HTML.DomID
import public Text.CSS
Definitions
attr : (t -> Attribute ()) -> t -> Selector
  Totality: total
  Visibility: export
boolAttr : (Bool -> Attribute ()) -> Selector
  Totality: total
  Visibility: export
domID : DomID -> Declarations -> Rule n
  Totality: total
  Visibility: export
attribute : (t -> Attribute ()) -> t -> Declarations -> Rule n
  Totality: total
  Visibility: export
noBorder : Declaration
  Totality: total
  Visibility: export
border : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
border1 : Color -> Declarations
  Totality: total
  Visibility: export
border2 : Color -> Declarations
  Totality: total
  Visibility: export
border3 : Color -> Declarations
  Totality: total
  Visibility: export
borderH : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderH1 : Color -> Declarations
  Totality: total
  Visibility: export
borderH2 : Color -> Declarations
  Totality: total
  Visibility: export
borderH3 : Color -> Declarations
  Totality: total
  Visibility: export
borderV : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderV1 : Color -> Declarations
  Totality: total
  Visibility: export
borderV2 : Color -> Declarations
  Totality: total
  Visibility: export
borderV3 : Color -> Declarations
  Totality: total
  Visibility: export
borderT : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderT1 : Color -> Declarations
  Totality: total
  Visibility: export
borderT2 : Color -> Declarations
  Totality: total
  Visibility: export
borderT3 : Color -> Declarations
  Totality: total
  Visibility: export
borderR : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderR1 : Color -> Declarations
  Totality: total
  Visibility: export
borderR2 : Color -> Declarations
  Totality: total
  Visibility: export
borderR3 : Color -> Declarations
  Totality: total
  Visibility: export
borderB : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderB1 : Color -> Declarations
  Totality: total
  Visibility: export
borderB2 : Color -> Declarations
  Totality: total
  Visibility: export
borderB3 : Color -> Declarations
  Totality: total
  Visibility: export
borderL : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderL1 : Color -> Declarations
  Totality: total
  Visibility: export
borderL2 : Color -> Declarations
  Totality: total
  Visibility: export
borderL3 : Color -> Declarations
  Totality: total
  Visibility: export
borderHB : BorderWidth -> Color -> Declarations
  Totality: total
  Visibility: export
borderHB1 : Color -> Declarations
  Totality: total
  Visibility: export
borderHB2 : Color -> Declarations
  Totality: total
  Visibility: export
borderHB3 : Color -> Declarations
  Totality: total
  Visibility: export
round2 : Declaration
  Totality: total
  Visibility: export
round4 : Declaration
  Totality: total
  Visibility: export
round8 : Declaration
  Totality: total
  Visibility: export
round16 : Declaration
  Totality: total
  Visibility: export
round32 : Declaration
  Totality: total
  Visibility: export
round : Declaration
  Totality: total
  Visibility: export
noPadding : Declaration
  Totality: total
  Visibility: export
noMargin : Declaration
  Totality: total
  Visibility: export
exactWidth : Width -> Declarations
  Totality: total
  Visibility: export
exactHeight : Width -> Declarations
  Totality: total
  Visibility: export
noflex : Declaration
  Totality: total
  Visibility: export
flex1 : Declaration
  Totality: total
  Visibility: export
flex2 : Declaration
  Totality: total
  Visibility: export
flex3 : Declaration
  Totality: total
  Visibility: export
flex4 : Declaration
  Totality: total
  Visibility: export
flexRow : Declarations
  Totality: total
  Visibility: export
startRow : Declarations
  Totality: total
  Visibility: export
centerRow : Declarations
  Totality: total
  Visibility: export
endRow : Declarations
  Totality: total
  Visibility: export
stretchRow : Declarations
  Totality: total
  Visibility: export
flexCol : Declarations
  Totality: total
  Visibility: export
startCol : Declarations
  Totality: total
  Visibility: export
centerCol : Declarations
  Totality: total
  Visibility: export
endCol : Declarations
  Totality: total
  Visibility: export
stretchCol : Declarations
  Totality: total
  Visibility: export
flexSepRow : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
startSepRow : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
centerSepRow : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
endSepRow : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
stretchSepRow : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
flexSepCol : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
startSepCol : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
centerSepCol : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
endSepCol : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export
stretchSepCol : {default (0.5 .em) _ : Length} -> Declarations
  Totality: total
  Visibility: export