Idris2Doc : Text.CSS.Tailwind

Text.CSS.Tailwind

(source)
Reexports
import public Text.CSS.Extra
Definitions
record TailwindColor : Type
  The eleven different shades of a tailwind color.
  
  Lower numbers are brighter colors.

  Totality: total
  Visibility: public export
  Constructor: 
TW : Color -> Color -> Color -> Color -> Color -> Color -> Color -> Color -> Color -> Color -> Color -> TailwindColor

  Projections:
  
.c100 : TailwindColor -> Color
  
.c200 : TailwindColor -> Color
  
.c300 : TailwindColor -> Color
  
.c400 : TailwindColor -> Color
  
.c50 : TailwindColor -> Color
  
.c500 : TailwindColor -> Color
  
.c600 : TailwindColor -> Color
  
.c700 : TailwindColor -> Color
  
.c800 : TailwindColor -> Color
  
.c900 : TailwindColor -> Color
  
.c950 : TailwindColor -> Color
.c50 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c50 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c100 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c100 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c200 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c200 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c300 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c300 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c400 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c400 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c500 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c500 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c600 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c600 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c700 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c700 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c800 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c800 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c900 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c900 : TailwindColor -> Color
  Totality: total
  Visibility: public export
.c950 : TailwindColor -> Color
  Totality: total
  Visibility: public export
c950 : TailwindColor -> Color
  Totality: total
  Visibility: public export
twSlate : TailwindColor
  Totality: total
  Visibility: export
twGray : TailwindColor
  Totality: total
  Visibility: export
twZinc : TailwindColor
  Totality: total
  Visibility: export
twNeutral : TailwindColor
  Totality: total
  Visibility: export
twStone : TailwindColor
  Totality: total
  Visibility: export
twRed : TailwindColor
  Totality: total
  Visibility: export
twOrange : TailwindColor
  Totality: total
  Visibility: export
twAmber : TailwindColor
  Totality: total
  Visibility: export
twYellow : TailwindColor
  Totality: total
  Visibility: export
twLime : TailwindColor
  Totality: total
  Visibility: export
twPink : TailwindColor
  Totality: total
  Visibility: export
twRose : TailwindColor
  Totality: total
  Visibility: export
twGreen : TailwindColor
  Totality: total
  Visibility: export
twEmerald : TailwindColor
  Totality: total
  Visibility: export
twTeal : TailwindColor
  Totality: total
  Visibility: export
twCyan : TailwindColor
  Totality: total
  Visibility: export
twSky : TailwindColor
  Totality: total
  Visibility: export
twBlue : TailwindColor
  Totality: total
  Visibility: export
twIndigo : TailwindColor
  Totality: total
  Visibility: export
twViolet : TailwindColor
  Totality: total
  Visibility: export
twPurple : TailwindColor
  Totality: total
  Visibility: export
twFuchsia : TailwindColor
  Totality: total
  Visibility: export