commit 2bfed06d5f574f937f6d39504fd7fc612eafbf81 · anil.recoil.org/ocaml-tailwind

+8 -8

examples/dune

···

       72
       72
        
         input.css

     

       73
       73
        
         hello_tailwind_01.html)

     

       74
       74
        
        (action 

     

       75
       75
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       75
       75
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       76
       76
        
       

     

       77
       77
        
       (rule

     

       78
       78
        
        (targets colors_and_typography_02.css)

     
···

       80
       80
        
         input.css

     

       81
       81
        
         colors_and_typography_02.html)

     

       82
       82
        
        (action 

     

       83
       83
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       83
       83
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       84
       84
        
       

     

       85
       85
        
       (rule

     

       86
       86
        
        (targets layout_and_spacing_03.css)

     
···

       88
       88
        
         input.css

     

       89
       89
        
         layout_and_spacing_03.html)

     

       90
       90
        
        (action 

     

       91
       91
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       91
       91
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       92
       92
        
       

     

       93
       93
        
       (rule

     

       94
       94
        
        (targets responsive_design_04.css)

     
···

       96
       96
        
         input.css

     

       97
       97
        
         responsive_design_04.html)

     

       98
       98
        
        (action 

     

       99
       99
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       99
       99
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       100
       100
        
       

     

       101
       101
        
       (rule

     

       102
       102
        
        (targets effects_and_variants_05.css)

     
···

       104
       104
        
         input.css

     

       105
       105
        
         effects_and_variants_05.html)

     

       106
       106
        
        (action 

     

       107
       107
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       107
       107
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       108
       108
        
       

     

       109
       109
        
       (rule

     

       110
       110
        
        (targets patterns_and_components_06.css)

     
···

       112
       112
        
         input.css

     

       113
       113
        
         patterns_and_components_06.html)

     

       114
       114
        
        (action 

     

       115
       115
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       115
       115
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       116
       116
        
       

     

       117
       117
        
       (rule

     

       118
       118
        
        (targets comprehensive_showcase_07.css)

     
···

       120
       120
        
         input.css

     

       121
       121
        
         comprehensive_showcase_07.html)

     

       122
       122
        
        (action 

     

       123
       123
       -
         (run npx @tailwindcss/cli --input input.css --output %{targets} --minify)))

     

       123
       123
       +
         (run tailwindcss --input input.css --output %{targets} --minify)))

     

       124
       124
        
       

     

       125
       125
        
       ;; Generate index.html page

     

       126
       126
        
       (rule

     
···

       174
       174
        
         (patterns_and_components_06.html as examples/patterns_and_components_06.html)

     

       175
       175
        
         (patterns_and_components_06.css as examples/patterns_and_components_06.css)

     

       176
       176
        
         (comprehensive_showcase_07.html as examples/comprehensive_showcase_07.html)

     

       177
       177
       -
         (comprehensive_showcase_07.css as examples/comprehensive_showcase_07.css)))
     

       177
       177
       +
         (comprehensive_showcase_07.css as examples/comprehensive_showcase_07.css)))

+1 -101

examples/input.css

···

       1
       1
        
       /* Tailwind CSS configuration for examples */

     

       2
       2
       +
       @import 'tailwindcss';

     

       2
       3
        
       @source "./*.html";

     

       3
       3
       -
       

     

       4
       4
       -
       @theme {

     

       5
       5
       -
         /* Colors */

     

       6
       6
       -
         --color-white: #ffffff;

     

       7
       7
       -
         --color-gray-50: #f9fafb;

     

       8
       8
       -
         --color-gray-100: #f3f4f6;

     

       9
       9
       -
         --color-gray-200: #e5e7eb;

     

       10
       10
       -
         --color-gray-300: #d1d5db;

     

       11
       11
       -
         --color-gray-400: #9ca3af;

     

       12
       12
       -
         --color-gray-500: #6b7280;

     

       13
       13
       -
         --color-gray-600: #4b5563;

     

       14
       14
       -
         --color-gray-700: #374151;

     

       15
       15
       -
         --color-gray-800: #1f2937;

     

       16
       16
       -
         --color-gray-900: #111827;

     

       17
       17
       -
         --color-blue-50: #eff6ff;

     

       18
       18
       -
         --color-blue-100: #dbeafe;

     

       19
       19
       -
         --color-blue-300: #93c5fd;

     

       20
       20
       -
         --color-blue-400: #60a5fa;

     

       21
       21
       -
         --color-blue-500: #3b82f6;

     

       22
       22
       -
         --color-blue-600: #2563eb;

     

       23
       23
       -
         --color-blue-700: #1d4ed8;

     

       24
       24
       -
         --color-blue-800: #1e40af;

     

       25
       25
       -
         --color-green-50: #f0fdf4;

     

       26
       26
       -
         --color-green-100: #dcfce7;

     

       27
       27
       -
         --color-green-500: #22c55e;

     

       28
       28
       -
         --color-green-600: #16a34a;

     

       29
       29
       -
         --color-red-50: #fef2f2;

     

       30
       30
       -
         --color-red-100: #fee2e2;

     

       31
       31
       -
         --color-red-500: #ef4444;

     

       32
       32
       -
         --color-red-600: #dc2626;

     

       33
       33
       -
         --color-purple-50: #faf5ff;

     

       34
       34
       -
         --color-purple-100: #f3e8ff;

     

       35
       35
       -
         --color-purple-300: #c4b5fd;

     

       36
       36
       -
         --color-purple-600: #9333ea;

     

       37
       37
       -
         --color-yellow-50: #fefce8;

     

       38
       38
       -
         --color-yellow-100: #fef3c7;

     

       39
       39
       -
         --color-yellow-600: #ca8a04;

     

       40
       40
       -
         --color-indigo-50: #eef2ff;

     

       41
       41
       -
         --color-indigo-600: #4f46e5;

     

       42
       42
       -
         

     

       43
       43
       -
         /* Additional responsive grid values */

     

       44
       44
       -
         --spacing-6xl: 80rem;

     

       45
       45
       -
         

     

       46
       46
       -
         /* Spacing */

     

       47
       47
       -
         --spacing-0: 0px;

     

       48
       48
       -
         --spacing-0_25: 0.0625rem;

     

       49
       49
       -
         --spacing-0_5: 0.125rem;

     

       50
       50
       -
         --spacing-0_75: 0.1875rem;

     

       51
       51
       -
         --spacing-1: 0.25rem;

     

       52
       52
       -
         --spacing-1_5: 0.375rem;

     

       53
       53
       -
         --spacing-2: 0.5rem;

     

       54
       54
       -
         --spacing-3: 0.75rem;

     

       55
       55
       -
         --spacing-4: 1rem;

     

       56
       56
       -
         --spacing-5: 1.25rem;

     

       57
       57
       -
         --spacing-6: 1.5rem;

     

       58
       58
       -
         --spacing-8: 2rem;

     

       59
       59
       -
         --spacing-12: 3rem;

     

       60
       60
       -
         --spacing-16: 4rem;

     

       61
       61
       -
         --spacing-24: 6rem;

     

       62
       62
       -
         --spacing-32: 8rem;

     

       63
       63
       -
         --spacing-42: 10.5rem;

     

       64
       64
       -
         --spacing-72: 18rem;

     

       65
       65
       -
         

     

       66
       66
       -
         /* Font sizes */

     

       67
       67
       -
         --font-size-xs: 0.75rem;

     

       68
       68
       -
         --font-size-sm: 0.875rem;

     

       69
       69
       -
         --font-size-base: 1rem;

     

       70
       70
       -
         --font-size-lg: 1.125rem;

     

       71
       71
       -
         --font-size-xl: 1.25rem;

     

       72
       72
       -
         --font-size-2xl: 1.5rem;

     

       73
       73
       -
         --font-size-3xl: 1.875rem;

     

       74
       74
       -
         --font-size-4xl: 2.25rem;

     

       75
       75
       -
         

     

       76
       76
       -
         /* Font weights */

     

       77
       77
       -
         --font-weight-light: 300;

     

       78
       78
       -
         --font-weight-normal: 400;

     

       79
       79
       -
         --font-weight-medium: 500;

     

       80
       80
       -
         --font-weight-semibold: 600;

     

       81
       81
       -
         --font-weight-bold: 700;

     

       82
       82
       -
         --font-weight-extrabold: 800;

     

       83
       83
       -
         

     

       84
       84
       -
         /* Border radius */

     

       85
       85
       -
         --radius-none: 0px;

     

       86
       86
       -
         --radius-sm: 0.125rem;

     

       87
       87
       -
         --radius-md: 0.375rem;

     

       88
       88
       -
         --radius-lg: 0.5rem;

     

       89
       89
       -
         --radius-xl: 0.75rem;

     

       90
       90
       -
         --radius-2xl: 1rem;

     

       91
       91
       -
         --radius-3xl: 1.5rem;

     

       92
       92
       -
         --radius-full: 9999px;

     

       93
       93
       -
         

     

       94
       94
       -
         /* Shadows */

     

       95
       95
       -
         --shadow-sm: 0 1px 2px 0 rgb(0 0 0 / 0.05);

     

       96
       96
       -
         --shadow-md: 0 4px 6px -1px rgb(0 0 0 / 0.1), 0 2px 4px -2px rgb(0 0 0 / 0.1);

     

       97
       97
       -
         --shadow-lg: 0 10px 15px -3px rgb(0 0 0 / 0.1), 0 4px 6px -4px rgb(0 0 0 / 0.1);

     

       98
       98
       -
         --shadow-xl: 0 20px 25px -5px rgb(0 0 0 / 0.1), 0 8px 10px -6px rgb(0 0 0 / 0.1);

     

       99
       99
       -
       }

     

       100
       100
       -
       

     

       101
       101
       -
       @tailwind base;

     

       102
       102
       -
       @tailwind components;

     

       103
       103
       -
       @tailwind utilities;