0 | module CyBy.UI.CSS.Tailwind
  1 |
  2 | import public Text.CSS.Extra
  3 |
  4 | %default total
  5 |
  6 | ||| The eleven different shades of a tailwind color.
  7 | |||
  8 | ||| Lower numbers are brighter colors.
  9 | public export
 10 | record TailwindColor where
 11 |   constructor TW
 12 |   c50  : Color
 13 |   c100 : Color
 14 |   c200 : Color
 15 |   c300 : Color
 16 |   c400 : Color
 17 |   c500 : Color
 18 |   c600 : Color
 19 |   c700 : Color
 20 |   c800 : Color
 21 |   c900 : Color
 22 |   c950 : Color
 23 |
 24 | export
 25 | twSlate : TailwindColor
 26 | twSlate =
 27 |   TW
 28 |     (rgb 0xf8 0xfa 0xfc)
 29 |     (rgb 0xf1 0xf5 0xf9)
 30 |     (rgb 0xe2 0xe8 0xf0)
 31 |     (rgb 0xcb 0xd5 0xe1)
 32 |     (rgb 0x94 0xa3 0xb8)
 33 |     (rgb 0x64 0x74 0x8b)
 34 |     (rgb 0x47 0x55 0x69)
 35 |     (rgb 0x33 0x41 0x55)
 36 |     (rgb 0x1e 0x29 0x3b)
 37 |     (rgb 0x0f 0x17 0x2a)
 38 |     (rgb 0x02 0x06 0x17)
 39 |
 40 | export
 41 | twGray : TailwindColor
 42 | twGray =
 43 |   TW
 44 |     (rgb 0xf9 0xfa 0xfb)
 45 |     (rgb 0xf3 0xf4 0xf6)
 46 |     (rgb 0xe5 0xe7 0xeb)
 47 |     (rgb 0xd1 0xd5 0xdb)
 48 |     (rgb 0x9c 0xa3 0xaf)
 49 |     (rgb 0x6b 0x72 0x80)
 50 |     (rgb 0x4b 0x55 0x63)
 51 |     (rgb 0x37 0x41 0x51)
 52 |     (rgb 0x1f 0x29 0x37)
 53 |     (rgb 0x11 0x18 0x27)
 54 |     (rgb 0x03 0x07 0x12)
 55 |
 56 | export
 57 | twZinc : TailwindColor
 58 | twZinc =
 59 |   TW
 60 |     (rgb 0xfa 0xfa 0xfa)
 61 |     (rgb 0xf4 0xf4 0xf5)
 62 |     (rgb 0xe4 0xe4 0xe7)
 63 |     (rgb 0xd4 0xd4 0xd8)
 64 |     (rgb 0xa1 0xa1 0xaa)
 65 |     (rgb 0x71 0x71 0x7a)
 66 |     (rgb 0x52 0x52 0x5b)
 67 |     (rgb 0x3f 0x3f 0x46)
 68 |     (rgb 0x27 0x27 0x2a)
 69 |     (rgb 0x18 0x18 0x1b)
 70 |     (rgb 0x09 0x09 0x0b)
 71 |
 72 | export
 73 | twNeutral : TailwindColor
 74 | twNeutral =
 75 |   TW
 76 |     (rgb 0xfa 0xfa 0xfa)
 77 |     (rgb 0xf5 0xf5 0xf5)
 78 |     (rgb 0xe5 0xe5 0xe5)
 79 |     (rgb 0xd4 0xd4 0xd4)
 80 |     (rgb 0xa3 0xa3 0xa3)
 81 |     (rgb 0x73 0x73 0x73)
 82 |     (rgb 0x52 0x52 0x52)
 83 |     (rgb 0x40 0x40 0x40)
 84 |     (rgb 0x26 0x26 0x26)
 85 |     (rgb 0x17 0x17 0x17)
 86 |     (rgb 0x0a 0x0a 0x0a)
 87 |
 88 | export
 89 | twStone : TailwindColor
 90 | twStone =
 91 |   TW
 92 |     (rgb 0xfa 0xfa 0xf9)
 93 |     (rgb 0xf5 0xf5 0xf4)
 94 |     (rgb 0xe7 0xe5 0xe4)
 95 |     (rgb 0xd6 0xd3 0xd1)
 96 |     (rgb 0xa8 0xa2 0x9e)
 97 |     (rgb 0x78 0x71 0x6c)
 98 |     (rgb 0x57 0x53 0x4e)
 99 |     (rgb 0x44 0x40 0x3c)
100 |     (rgb 0x29 0x25 0x24)
101 |     (rgb 0x1c 0x19 0x17)
102 |     (rgb 0x0c 0x0a 0x09)
103 |
104 | export
105 | twRed : TailwindColor
106 | twRed =
107 |   TW
108 |     (rgb 0xfe 0xf2 0xf2)
109 |     (rgb 0xfe 0xe2 0xe2)
110 |     (rgb 0xfe 0xca 0xca)
111 |     (rgb 0xfc 0xa5 0xa5)
112 |     (rgb 0xf8 0x71 0x71)
113 |     (rgb 0xef 0x44 0x44)
114 |     (rgb 0xdc 0x26 0x26)
115 |     (rgb 0xb9 0x1c 0x1c)
116 |     (rgb 0x99 0x1b 0x1b)
117 |     (rgb 0x7f 0x1d 0x1d)
118 |     (rgb 0x45 0x0a 0x0a)
119 |
120 | export
121 | twOrange : TailwindColor
122 | twOrange =
123 |   TW
124 |     (rgb 0xff 0xf7 0xed)
125 |     (rgb 0xff 0xed 0xd5)
126 |     (rgb 0xfe 0xd7 0xaa)
127 |     (rgb 0xfd 0xba 0x74)
128 |     (rgb 0xfb 0x92 0x3c)
129 |     (rgb 0xf9 0x73 0x16)
130 |     (rgb 0xea 0x58 0x0c)
131 |     (rgb 0xc2 0x41 0x0c)
132 |     (rgb 0x9a 0x34 0x12)
133 |     (rgb 0x7c 0x2d 0x12)
134 |     (rgb 0x43 0x14 0x07)
135 |
136 | export
137 | twAmber : TailwindColor
138 | twAmber =
139 |   TW
140 |     (rgb 0xff 0xfb 0xeb)
141 |     (rgb 0xfe 0xf3 0xc7)
142 |     (rgb 0xfd 0xe6 0x8a)
143 |     (rgb 0xfc 0xd3 0x4d)
144 |     (rgb 0xfb 0xbf 0x24)
145 |     (rgb 0xf5 0x9e 0x0b)
146 |     (rgb 0xd9 0x77 0x06)
147 |     (rgb 0xb4 0x53 0x09)
148 |     (rgb 0x92 0x40 0x0e)
149 |     (rgb 0x78 0x35 0x0f)
150 |     (rgb 0x45 0x1a 0x03)
151 |
152 | export
153 | twYellow : TailwindColor
154 | twYellow =
155 |   TW
156 |     (rgb 0xfe 0xfc 0xe8)
157 |     (rgb 0xfe 0xf9 0xc3)
158 |     (rgb 0xfe 0xf0 0x8a)
159 |     (rgb 0xfd 0xe0 0x47)
160 |     (rgb 0xfa 0xcc 0x15)
161 |     (rgb 0xea 0xb3 0x08)
162 |     (rgb 0xca 0x8a 0x04)
163 |     (rgb 0xa1 0x62 0x07)
164 |     (rgb 0x85 0x4d 0x0e)
165 |     (rgb 0x71 0x3f 0x12)
166 |     (rgb 0x42 0x20 0x06)
167 |
168 | export
169 | twLime : TailwindColor
170 | twLime =
171 |   TW
172 |     (rgb 0xf7 0xfe 0xe7)
173 |     (rgb 0xec 0xfc 0xcb)
174 |     (rgb 0xd9 0xf9 0x9d)
175 |     (rgb 0xbe 0xf2 0x64)
176 |     (rgb 0xa3 0xe6 0x35)
177 |     (rgb 0x84 0xcc 0x16)
178 |     (rgb 0x65 0xa3 0x0d)
179 |     (rgb 0x4d 0x7c 0x0f)
180 |     (rgb 0x3f 0x62 0x12)
181 |     (rgb 0x36 0x53 0x14)
182 |     (rgb 0x1a 0x2e 0x05)
183 |
184 | export
185 | twPink : TailwindColor
186 | twPink =
187 |   TW
188 |     (rgb 0xfd 0xf2 0xf8)
189 |     (rgb 0xfc 0xe7 0xf3)
190 |     (rgb 0xfb 0xcf 0xe8)
191 |     (rgb 0xf9 0xa8 0xd4)
192 |     (rgb 0xf4 0x72 0xb6)
193 |     (rgb 0xec 0x48 0x99)
194 |     (rgb 0xdb 0x27 0x77)
195 |     (rgb 0xbe 0x18 0x5d)
196 |     (rgb 0x9d 0x17 0x4d)
197 |     (rgb 0x83 0x18 0x43)
198 |     (rgb 0x50 0x07 0x24)
199 |
200 | export
201 | twRose : TailwindColor
202 | twRose =
203 |   TW
204 |     (rgb 0xff 0xf1 0xf2)
205 |     (rgb 0xff 0xe4 0xe6)
206 |     (rgb 0xfe 0xcd 0xd3)
207 |     (rgb 0xfd 0xa4 0xaf)
208 |     (rgb 0xfb 0x71 0x85)
209 |     (rgb 0xf4 0x3f 0x5e)
210 |     (rgb 0xe1 0x1d 0x48)
211 |     (rgb 0xbe 0x12 0x3c)
212 |     (rgb 0x9f 0x12 0x39)
213 |     (rgb 0x88 0x13 0x37)
214 |     (rgb 0x4c 0x05 0x19)
215 |
216 | export
217 | twGreen : TailwindColor
218 | twGreen =
219 |   TW
220 |     (rgb 0xf0 0xfd 0xf4)
221 |     (rgb 0xdc 0xfc 0xe7)
222 |     (rgb 0xbb 0xf7 0xd0)
223 |     (rgb 0x86 0xef 0xac)
224 |     (rgb 0x4a 0xde 0x80)
225 |     (rgb 0x22 0xc5 0x5e)
226 |     (rgb 0x16 0xa3 0x4a)
227 |     (rgb 0x15 0x80 0x3d)
228 |     (rgb 0x16 0x65 0x34)
229 |     (rgb 0x14 0x53 0x2d)
230 |     (rgb 0x05 0x2e 0x16)
231 |
232 | export
233 | twEmerald : TailwindColor
234 | twEmerald =
235 |   TW
236 |     (rgb 0xec 0xfd 0xf5)
237 |     (rgb 0xd1 0xfa 0xe5)
238 |     (rgb 0xa7 0xf3 0xd0)
239 |     (rgb 0x6e 0xe7 0xb7)
240 |     (rgb 0x34 0xd3 0x99)
241 |     (rgb 0x10 0xb9 0x81)
242 |     (rgb 0x05 0x96 0x69)
243 |     (rgb 0x04 0x78 0x57)
244 |     (rgb 0x06 0x5f 0x46)
245 |     (rgb 0x06 0x4e 0x3b)
246 |     (rgb 0x02 0x2c 0x22)
247 |
248 | export
249 | twTeal : TailwindColor
250 | twTeal =
251 |   TW
252 |     (rgb 0xf0 0xfd 0xfa)
253 |     (rgb 0xcc 0xfb 0xf1)
254 |     (rgb 0x99 0xf6 0xe4)
255 |     (rgb 0x5e 0xea 0xd4)
256 |     (rgb 0x2d 0xd4 0xbf)
257 |     (rgb 0x14 0xb8 0xa6)
258 |     (rgb 0x0d 0x94 0x88)
259 |     (rgb 0x0f 0x76 0x6e)
260 |     (rgb 0x11 0x5e 0x59)
261 |     (rgb 0x13 0x4e 0x4a)
262 |     (rgb 0x04 0x2f 0x2e)
263 |
264 | export
265 | twCyan : TailwindColor
266 | twCyan =
267 |   TW
268 |     (rgb 0xec 0xfe 0xff)
269 |     (rgb 0xcf 0xfa 0xfe)
270 |     (rgb 0xa5 0xf3 0xfc)
271 |     (rgb 0x67 0xe8 0xf9)
272 |     (rgb 0x22 0xd3 0xee)
273 |     (rgb 0x06 0xb6 0xd4)
274 |     (rgb 0x08 0x91 0xb2)
275 |     (rgb 0x0e 0x74 0x90)
276 |     (rgb 0x15 0x5e 0x75)
277 |     (rgb 0x16 0x4e 0x63)
278 |     (rgb 0x08 0x33 0x44)
279 |
280 | export
281 | twSky : TailwindColor
282 | twSky =
283 |   TW
284 |     (rgb 0xf0 0xf9 0xff)
285 |     (rgb 0xe0 0xf2 0xfe)
286 |     (rgb 0xba 0xe6 0xfd)
287 |     (rgb 0x7d 0xd3 0xfc)
288 |     (rgb 0x38 0xbd 0xf8)
289 |     (rgb 0x0e 0xa5 0xe9)
290 |     (rgb 0x02 0x84 0xc7)
291 |     (rgb 0x03 0x69 0xa1)
292 |     (rgb 0x07 0x59 0x85)
293 |     (rgb 0x0c 0x4a 0x6e)
294 |     (rgb 0x08 0x2f 0x49)
295 |
296 | export
297 | twBlue : TailwindColor
298 | twBlue =
299 |   TW
300 |     (rgb 0xef 0xf6 0xff)
301 |     (rgb 0xdb 0xea 0xfe)
302 |     (rgb 0xbf 0xdb 0xfe)
303 |     (rgb 0x93 0xc5 0xfd)
304 |     (rgb 0x60 0xa5 0xfa)
305 |     (rgb 0x3b 0x82 0xf6)
306 |     (rgb 0x25 0x63 0xeb)
307 |     (rgb 0x1d 0x4e 0xd8)
308 |     (rgb 0x1e 0x40 0xaf)
309 |     (rgb 0x1e 0x3a 0x8a)
310 |     (rgb 0x17 0x25 0x54)
311 |
312 | export
313 | twIndigo : TailwindColor
314 | twIndigo =
315 |   TW
316 |     (rgb 0xee 0xf2 0xff)
317 |     (rgb 0xe0 0xe7 0xff)
318 |     (rgb 0xc7 0xd2 0xfe)
319 |     (rgb 0xa5 0xb4 0xfc)
320 |     (rgb 0x81 0x8c 0xf8)
321 |     (rgb 0x63 0x66 0xf1)
322 |     (rgb 0x4f 0x46 0xe5)
323 |     (rgb 0x43 0x38 0xca)
324 |     (rgb 0x37 0x30 0xa3)
325 |     (rgb 0x31 0x2e 0x81)
326 |     (rgb 0x1e 0x1b 0x4b)
327 |
328 | export
329 | twViolet : TailwindColor
330 | twViolet =
331 |   TW
332 |     (rgb 0xf5 0xf3 0xff)
333 |     (rgb 0xed 0xe9 0xfe)
334 |     (rgb 0xdd 0xd6 0xfe)
335 |     (rgb 0xc4 0xb5 0xfd)
336 |     (rgb 0xa7 0x8b 0xfa)
337 |     (rgb 0x8b 0x5c 0xf6)
338 |     (rgb 0x7c 0x3a 0xed)
339 |     (rgb 0x6d 0x28 0xd9)
340 |     (rgb 0x5b 0x21 0xb6)
341 |     (rgb 0x4c 0x1d 0x95)
342 |     (rgb 0x2e 0x10 0x65)
343 |
344 | export
345 | twPurple : TailwindColor
346 | twPurple =
347 |   TW
348 |     (rgb 0xfa 0xf5 0xff)
349 |     (rgb 0xf3 0xe8 0xff)
350 |     (rgb 0xe9 0xd5 0xff)
351 |     (rgb 0xd8 0xb4 0xfe)
352 |     (rgb 0xc0 0x84 0xfc)
353 |     (rgb 0xa8 0x55 0xf7)
354 |     (rgb 0x93 0x33 0xea)
355 |     (rgb 0x7c 0x3a 0xed)
356 |     (rgb 0x6b 0x21 0xa8)
357 |     (rgb 0x58 0x1c 0x87)
358 |     (rgb 0x3b 0x07 0x64)
359 |
360 | export
361 | twFuchsia : TailwindColor
362 | twFuchsia =
363 |   TW
364 |     (rgb 0xfd 0xf4 0xff)
365 |     (rgb 0xfa 0xe8 0xff)
366 |     (rgb 0xf5 0xd0 0xfe)
367 |     (rgb 0xf0 0xab 0xfc)
368 |     (rgb 0xe8 0x79 0xf9)
369 |     (rgb 0xd9 0x46 0xef)
370 |     (rgb 0xc0 0x26 0xd3)
371 |     (rgb 0xa2 0x1c 0xaf)
372 |     (rgb 0x86 0x19 0x8f)
373 |     (rgb 0x70 0x1a 0x75)
374 |     (rgb 0x4a 0x04 0x4e)
375 |