From e194682ea98225805e17e02872932703d75d5a9d Mon Sep 17 00:00:00 2001 From: Jan Haller Date: Wed, 12 Feb 2025 20:35:06 +0100 Subject: [PATCH 1/2] Tailwind CSS install hints --- website/tailwind-watch.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/website/tailwind-watch.sh b/website/tailwind-watch.sh index 4c2d8163c070..9bd8ff760fee 100755 --- a/website/tailwind-watch.sh +++ b/website/tailwind-watch.sh @@ -4,4 +4,8 @@ # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at https://mozilla.org/MPL/2.0/. +# npm install tailwindcss@^3.0.0 @tailwindcss/cli + +# For upgrade to tailwind v4, see https://github.com/tailwindlabs/tailwindcss/releases/tag/v4.0.0. + npx tailwindcss --watch -i src/css/main.css -o static/css/main.css From 79c3abe6db0f53a8728ae44feeb1c6f681d8e60a Mon Sep 17 00:00:00 2001 From: Jan Haller Date: Wed, 12 Feb 2025 22:28:53 +0100 Subject: [PATCH 2/2] Dark theme is now red-brown --- website/src/css/main.css | 10 +- website/static/css/main.css | 340 ++++++++++++++++++------------------ 2 files changed, 176 insertions(+), 174 deletions(-) diff --git a/website/src/css/main.css b/website/src/css/main.css index 54a439b2f65c..13ff23d74cad 100644 --- a/website/src/css/main.css +++ b/website/src/css/main.css @@ -32,13 +32,19 @@ --brown-body: rgb(218, 198, 189); --brown-body-bg: rgb(201, 176, 167); --brown-hover: rgb(148, 122, 112); - --brown-caption: rgb(106, 78, 50); + --brown-caption: rgb(106, 78, 50); /* also headers */ --brown-nav-dark: rgb(51, 47, 42); --brown-body-dark: rgb(73, 66, 57); --brown-body-bg-dark: rgb(58, 53, 48); --brown-hover-dark: rgb(117, 103, 91); - --brown-caption-dark: rgb(192, 162, 141); + --brown-caption-dark: rgb(192, 162, 141); /* also headers */ + + --brown-body-dark: rgb(40, 34, 30); + --brown-nav-dark: rgb(52, 44, 41); + + /*--brown-body-dark: rgb(50, 43, 40);*/ + /*--brown-nav-dark: rgb(40, 35, 31);*/ } @tailwind base; diff --git a/website/static/css/main.css b/website/static/css/main.css index a22fe4f130f3..7ba3391de804 100644 --- a/website/static/css/main.css +++ b/website/static/css/main.css @@ -30,15 +30,129 @@ --brown-body-bg: rgb(201, 176, 167); --brown-hover: rgb(148, 122, 112); --brown-caption: rgb(106, 78, 50); + /* also headers */ --brown-nav-dark: rgb(51, 47, 42); --brown-body-dark: rgb(73, 66, 57); --brown-body-bg-dark: rgb(58, 53, 48); --brown-hover-dark: rgb(117, 103, 91); --brown-caption-dark: rgb(192, 162, 141); + /* also headers */ + --brown-body-dark: rgb(40, 34, 30); + --brown-nav-dark: rgb(52, 44, 41); + /*--brown-body-dark: rgb(50, 43, 40);*/ + /*--brown-nav-dark: rgb(40, 35, 31);*/ +} + +*, ::before, ::after { + --tw-border-spacing-x: 0; + --tw-border-spacing-y: 0; + --tw-translate-x: 0; + --tw-translate-y: 0; + --tw-rotate: 0; + --tw-skew-x: 0; + --tw-skew-y: 0; + --tw-scale-x: 1; + --tw-scale-y: 1; + --tw-pan-x: ; + --tw-pan-y: ; + --tw-pinch-zoom: ; + --tw-scroll-snap-strictness: proximity; + --tw-gradient-from-position: ; + --tw-gradient-via-position: ; + --tw-gradient-to-position: ; + --tw-ordinal: ; + --tw-slashed-zero: ; + --tw-numeric-figure: ; + --tw-numeric-spacing: ; + --tw-numeric-fraction: ; + --tw-ring-inset: ; + --tw-ring-offset-width: 0px; + --tw-ring-offset-color: #fff; + --tw-ring-color: rgb(59 130 246 / 0.5); + --tw-ring-offset-shadow: 0 0 #0000; + --tw-ring-shadow: 0 0 #0000; + --tw-shadow: 0 0 #0000; + --tw-shadow-colored: 0 0 #0000; + --tw-blur: ; + --tw-brightness: ; + --tw-contrast: ; + --tw-grayscale: ; + --tw-hue-rotate: ; + --tw-invert: ; + --tw-saturate: ; + --tw-sepia: ; + --tw-drop-shadow: ; + --tw-backdrop-blur: ; + --tw-backdrop-brightness: ; + --tw-backdrop-contrast: ; + --tw-backdrop-grayscale: ; + --tw-backdrop-hue-rotate: ; + --tw-backdrop-invert: ; + --tw-backdrop-opacity: ; + --tw-backdrop-saturate: ; + --tw-backdrop-sepia: ; + --tw-contain-size: ; + --tw-contain-layout: ; + --tw-contain-paint: ; + --tw-contain-style: ; +} + +::backdrop { + --tw-border-spacing-x: 0; + --tw-border-spacing-y: 0; + --tw-translate-x: 0; + --tw-translate-y: 0; + --tw-rotate: 0; + --tw-skew-x: 0; + --tw-skew-y: 0; + --tw-scale-x: 1; + --tw-scale-y: 1; + --tw-pan-x: ; + --tw-pan-y: ; + --tw-pinch-zoom: ; + --tw-scroll-snap-strictness: proximity; + --tw-gradient-from-position: ; + --tw-gradient-via-position: ; + --tw-gradient-to-position: ; + --tw-ordinal: ; + --tw-slashed-zero: ; + --tw-numeric-figure: ; + --tw-numeric-spacing: ; + --tw-numeric-fraction: ; + --tw-ring-inset: ; + --tw-ring-offset-width: 0px; + --tw-ring-offset-color: #fff; + --tw-ring-color: rgb(59 130 246 / 0.5); + --tw-ring-offset-shadow: 0 0 #0000; + --tw-ring-shadow: 0 0 #0000; + --tw-shadow: 0 0 #0000; + --tw-shadow-colored: 0 0 #0000; + --tw-blur: ; + --tw-brightness: ; + --tw-contrast: ; + --tw-grayscale: ; + --tw-hue-rotate: ; + --tw-invert: ; + --tw-saturate: ; + --tw-sepia: ; + --tw-drop-shadow: ; + --tw-backdrop-blur: ; + --tw-backdrop-brightness: ; + --tw-backdrop-contrast: ; + --tw-backdrop-grayscale: ; + --tw-backdrop-hue-rotate: ; + --tw-backdrop-invert: ; + --tw-backdrop-opacity: ; + --tw-backdrop-saturate: ; + --tw-backdrop-sepia: ; + --tw-contain-size: ; + --tw-contain-layout: ; + --tw-contain-paint: ; + --tw-contain-style: ; } /* - ! tailwindcss v3.4.3 | MIT License | https://tailwindcss.com + ! tailwindcss v3.4.17 | MIT License | https://tailwindcss.com */ /* @@ -481,7 +595,7 @@ video { /* Make elements with the HTML hidden attribute stay hidden by default */ -[hidden] { +[hidden]:where(:not([hidden="until-found"])) { display: none; } @@ -537,114 +651,6 @@ h3 { /*}*/ -*, ::before, ::after { - --tw-border-spacing-x: 0; - --tw-border-spacing-y: 0; - --tw-translate-x: 0; - --tw-translate-y: 0; - --tw-rotate: 0; - --tw-skew-x: 0; - --tw-skew-y: 0; - --tw-scale-x: 1; - --tw-scale-y: 1; - --tw-pan-x: ; - --tw-pan-y: ; - --tw-pinch-zoom: ; - --tw-scroll-snap-strictness: proximity; - --tw-gradient-from-position: ; - --tw-gradient-via-position: ; - --tw-gradient-to-position: ; - --tw-ordinal: ; - --tw-slashed-zero: ; - --tw-numeric-figure: ; - --tw-numeric-spacing: ; - --tw-numeric-fraction: ; - --tw-ring-inset: ; - --tw-ring-offset-width: 0px; - --tw-ring-offset-color: #fff; - --tw-ring-color: rgb(59 130 246 / 0.5); - --tw-ring-offset-shadow: 0 0 #0000; - --tw-ring-shadow: 0 0 #0000; - --tw-shadow: 0 0 #0000; - --tw-shadow-colored: 0 0 #0000; - --tw-blur: ; - --tw-brightness: ; - --tw-contrast: ; - --tw-grayscale: ; - --tw-hue-rotate: ; - --tw-invert: ; - --tw-saturate: ; - --tw-sepia: ; - --tw-drop-shadow: ; - --tw-backdrop-blur: ; - --tw-backdrop-brightness: ; - --tw-backdrop-contrast: ; - --tw-backdrop-grayscale: ; - --tw-backdrop-hue-rotate: ; - --tw-backdrop-invert: ; - --tw-backdrop-opacity: ; - --tw-backdrop-saturate: ; - --tw-backdrop-sepia: ; - --tw-contain-size: ; - --tw-contain-layout: ; - --tw-contain-paint: ; - --tw-contain-style: ; -} - -::backdrop { - --tw-border-spacing-x: 0; - --tw-border-spacing-y: 0; - --tw-translate-x: 0; - --tw-translate-y: 0; - --tw-rotate: 0; - --tw-skew-x: 0; - --tw-skew-y: 0; - --tw-scale-x: 1; - --tw-scale-y: 1; - --tw-pan-x: ; - --tw-pan-y: ; - --tw-pinch-zoom: ; - --tw-scroll-snap-strictness: proximity; - --tw-gradient-from-position: ; - --tw-gradient-via-position: ; - --tw-gradient-to-position: ; - --tw-ordinal: ; - --tw-slashed-zero: ; - --tw-numeric-figure: ; - --tw-numeric-spacing: ; - --tw-numeric-fraction: ; - --tw-ring-inset: ; - --tw-ring-offset-width: 0px; - --tw-ring-offset-color: #fff; - --tw-ring-color: rgb(59 130 246 / 0.5); - --tw-ring-offset-shadow: 0 0 #0000; - --tw-ring-shadow: 0 0 #0000; - --tw-shadow: 0 0 #0000; - --tw-shadow-colored: 0 0 #0000; - --tw-blur: ; - --tw-brightness: ; - --tw-contrast: ; - --tw-grayscale: ; - --tw-hue-rotate: ; - --tw-invert: ; - --tw-saturate: ; - --tw-sepia: ; - --tw-drop-shadow: ; - --tw-backdrop-blur: ; - --tw-backdrop-brightness: ; - --tw-backdrop-contrast: ; - --tw-backdrop-grayscale: ; - --tw-backdrop-hue-rotate: ; - --tw-backdrop-invert: ; - --tw-backdrop-opacity: ; - --tw-backdrop-saturate: ; - --tw-backdrop-sepia: ; - --tw-contain-size: ; - --tw-contain-layout: ; - --tw-contain-paint: ; - --tw-contain-style: ; -} - .container { width: 100%; } @@ -1142,72 +1148,72 @@ h3 { .border-black { --tw-border-opacity: 1; - border-color: rgb(0 0 0 / var(--tw-border-opacity)); + border-color: rgb(0 0 0 / var(--tw-border-opacity, 1)); } .border-gray-300 { --tw-border-opacity: 1; - border-color: rgb(209 213 219 / var(--tw-border-opacity)); + border-color: rgb(209 213 219 / var(--tw-border-opacity, 1)); } .border-gray-400 { --tw-border-opacity: 1; - border-color: rgb(156 163 175 / var(--tw-border-opacity)); + border-color: rgb(156 163 175 / var(--tw-border-opacity, 1)); } .border-gray-800 { --tw-border-opacity: 1; - border-color: rgb(31 41 55 / var(--tw-border-opacity)); + border-color: rgb(31 41 55 / var(--tw-border-opacity, 1)); } .bg-blue-500 { --tw-bg-opacity: 1; - background-color: rgb(59 130 246 / var(--tw-bg-opacity)); + background-color: rgb(59 130 246 / var(--tw-bg-opacity, 1)); } .bg-blue-700 { --tw-bg-opacity: 1; - background-color: rgb(29 78 216 / var(--tw-bg-opacity)); + background-color: rgb(29 78 216 / var(--tw-bg-opacity, 1)); } .bg-gray-100 { --tw-bg-opacity: 1; - background-color: rgb(243 244 246 / var(--tw-bg-opacity)); + background-color: rgb(243 244 246 / var(--tw-bg-opacity, 1)); } .bg-gray-200 { --tw-bg-opacity: 1; - background-color: rgb(229 231 235 / var(--tw-bg-opacity)); + background-color: rgb(229 231 235 / var(--tw-bg-opacity, 1)); } .bg-gray-300 { --tw-bg-opacity: 1; - background-color: rgb(209 213 219 / var(--tw-bg-opacity)); + background-color: rgb(209 213 219 / var(--tw-bg-opacity, 1)); } .bg-gray-400 { --tw-bg-opacity: 1; - background-color: rgb(156 163 175 / var(--tw-bg-opacity)); + background-color: rgb(156 163 175 / var(--tw-bg-opacity, 1)); } .bg-gray-700 { --tw-bg-opacity: 1; - background-color: rgb(55 65 81 / var(--tw-bg-opacity)); + background-color: rgb(55 65 81 / var(--tw-bg-opacity, 1)); } .bg-gray-800 { --tw-bg-opacity: 1; - background-color: rgb(31 41 55 / var(--tw-bg-opacity)); + background-color: rgb(31 41 55 / var(--tw-bg-opacity, 1)); } .bg-gray-900 { --tw-bg-opacity: 1; - background-color: rgb(17 24 39 / var(--tw-bg-opacity)); + background-color: rgb(17 24 39 / var(--tw-bg-opacity, 1)); } .bg-indigo-500 { --tw-bg-opacity: 1; - background-color: rgb(99 102 241 / var(--tw-bg-opacity)); + background-color: rgb(99 102 241 / var(--tw-bg-opacity, 1)); } .bg-transparent { @@ -1216,7 +1222,7 @@ h3 { .bg-white { --tw-bg-opacity: 1; - background-color: rgb(255 255 255 / var(--tw-bg-opacity)); + background-color: rgb(255 255 255 / var(--tw-bg-opacity, 1)); } .fill-current { @@ -1243,11 +1249,6 @@ h3 { padding: 1.25rem; } -.px-1 { - padding-left: 0.25rem; - padding-right: 0.25rem; -} - .px-1\.5 { padding-left: 0.375rem; padding-right: 0.375rem; @@ -1273,11 +1274,6 @@ h3 { padding-right: 1.5rem; } -.py-0 { - padding-top: 0px; - padding-bottom: 0px; -} - .py-0\.5 { padding-top: 0.125rem; padding-bottom: 0.125rem; @@ -1377,57 +1373,57 @@ h3 { .text-black { --tw-text-opacity: 1; - color: rgb(0 0 0 / var(--tw-text-opacity)); + color: rgb(0 0 0 / var(--tw-text-opacity, 1)); } .text-blue-700 { --tw-text-opacity: 1; - color: rgb(29 78 216 / var(--tw-text-opacity)); + color: rgb(29 78 216 / var(--tw-text-opacity, 1)); } .text-gray-200 { --tw-text-opacity: 1; - color: rgb(229 231 235 / var(--tw-text-opacity)); + color: rgb(229 231 235 / var(--tw-text-opacity, 1)); } .text-gray-300 { --tw-text-opacity: 1; - color: rgb(209 213 219 / var(--tw-text-opacity)); + color: rgb(209 213 219 / var(--tw-text-opacity, 1)); } .text-gray-400 { --tw-text-opacity: 1; - color: rgb(156 163 175 / var(--tw-text-opacity)); + color: rgb(156 163 175 / var(--tw-text-opacity, 1)); } .text-gray-500 { --tw-text-opacity: 1; - color: rgb(107 114 128 / var(--tw-text-opacity)); + color: rgb(107 114 128 / var(--tw-text-opacity, 1)); } .text-gray-700 { --tw-text-opacity: 1; - color: rgb(55 65 81 / var(--tw-text-opacity)); + color: rgb(55 65 81 / var(--tw-text-opacity, 1)); } .text-gray-800 { --tw-text-opacity: 1; - color: rgb(31 41 55 / var(--tw-text-opacity)); + color: rgb(31 41 55 / var(--tw-text-opacity, 1)); } .text-gray-900 { --tw-text-opacity: 1; - color: rgb(17 24 39 / var(--tw-text-opacity)); + color: rgb(17 24 39 / var(--tw-text-opacity, 1)); } .text-indigo-500 { --tw-text-opacity: 1; - color: rgb(99 102 241 / var(--tw-text-opacity)); + color: rgb(99 102 241 / var(--tw-text-opacity, 1)); } .text-white { --tw-text-opacity: 1; - color: rgb(255 255 255 / var(--tw-text-opacity)); + color: rgb(255 255 255 / var(--tw-text-opacity, 1)); } .no-underline { @@ -1466,7 +1462,7 @@ h3 { .ring-black { --tw-ring-opacity: 1; - --tw-ring-color: rgb(0 0 0 / var(--tw-ring-opacity)); + --tw-ring-color: rgb(0 0 0 / var(--tw-ring-opacity, 1)); } .ring-opacity-5 { @@ -1621,7 +1617,7 @@ html { .markdown-content blockquote { border-left-width: 4px; --tw-border-opacity: 1; - border-color: rgb(156 163 175 / var(--tw-border-opacity)); + border-color: rgb(156 163 175 / var(--tw-border-opacity, 1)); padding-left: 1rem; margin-top: 1rem; margin-bottom: 1rem; @@ -2178,52 +2174,52 @@ html { .hover\:bg-gray-100:hover { --tw-bg-opacity: 1; - background-color: rgb(243 244 246 / var(--tw-bg-opacity)); + background-color: rgb(243 244 246 / var(--tw-bg-opacity, 1)); } .hover\:bg-gray-200:hover { --tw-bg-opacity: 1; - background-color: rgb(229 231 235 / var(--tw-bg-opacity)); + background-color: rgb(229 231 235 / var(--tw-bg-opacity, 1)); } .hover\:bg-gray-300:hover { --tw-bg-opacity: 1; - background-color: rgb(209 213 219 / var(--tw-bg-opacity)); + background-color: rgb(209 213 219 / var(--tw-bg-opacity, 1)); } .hover\:bg-gray-700:hover { --tw-bg-opacity: 1; - background-color: rgb(55 65 81 / var(--tw-bg-opacity)); + background-color: rgb(55 65 81 / var(--tw-bg-opacity, 1)); } .hover\:bg-indigo-400:hover { --tw-bg-opacity: 1; - background-color: rgb(129 140 248 / var(--tw-bg-opacity)); + background-color: rgb(129 140 248 / var(--tw-bg-opacity, 1)); } .hover\:text-blue-500:hover { --tw-text-opacity: 1; - color: rgb(59 130 246 / var(--tw-text-opacity)); + color: rgb(59 130 246 / var(--tw-text-opacity, 1)); } .hover\:text-gray-800:hover { --tw-text-opacity: 1; - color: rgb(31 41 55 / var(--tw-text-opacity)); + color: rgb(31 41 55 / var(--tw-text-opacity, 1)); } .hover\:text-gray-900:hover { --tw-text-opacity: 1; - color: rgb(17 24 39 / var(--tw-text-opacity)); + color: rgb(17 24 39 / var(--tw-text-opacity, 1)); } .hover\:text-indigo-400:hover { --tw-text-opacity: 1; - color: rgb(129 140 248 / var(--tw-text-opacity)); + color: rgb(129 140 248 / var(--tw-text-opacity, 1)); } .hover\:text-white:hover { --tw-text-opacity: 1; - color: rgb(255 255 255 / var(--tw-text-opacity)); + color: rgb(255 255 255 / var(--tw-text-opacity, 1)); } .hover\:shadow-xl:hover { @@ -2249,7 +2245,7 @@ html { .focus\:ring-white:focus { --tw-ring-opacity: 1; - --tw-ring-color: rgb(255 255 255 / var(--tw-ring-opacity)); + --tw-ring-color: rgb(255 255 255 / var(--tw-ring-opacity, 1)); } .focus\:ring-offset-2:focus { @@ -2262,67 +2258,67 @@ html { .dark\:border-black:is(.dark *) { --tw-border-opacity: 1; - border-color: rgb(0 0 0 / var(--tw-border-opacity)); + border-color: rgb(0 0 0 / var(--tw-border-opacity, 1)); } .dark\:border-gray-200:is(.dark *) { --tw-border-opacity: 1; - border-color: rgb(229 231 235 / var(--tw-border-opacity)); + border-color: rgb(229 231 235 / var(--tw-border-opacity, 1)); } .dark\:border-gray-400:is(.dark *) { --tw-border-opacity: 1; - border-color: rgb(156 163 175 / var(--tw-border-opacity)); + border-color: rgb(156 163 175 / var(--tw-border-opacity, 1)); } .dark\:bg-gray-500:is(.dark *) { --tw-bg-opacity: 1; - background-color: rgb(107 114 128 / var(--tw-bg-opacity)); + background-color: rgb(107 114 128 / var(--tw-bg-opacity, 1)); } .dark\:bg-gray-700:is(.dark *) { --tw-bg-opacity: 1; - background-color: rgb(55 65 81 / var(--tw-bg-opacity)); + background-color: rgb(55 65 81 / var(--tw-bg-opacity, 1)); } .dark\:bg-gray-800:is(.dark *) { --tw-bg-opacity: 1; - background-color: rgb(31 41 55 / var(--tw-bg-opacity)); + background-color: rgb(31 41 55 / var(--tw-bg-opacity, 1)); } .dark\:bg-gray-900:is(.dark *) { --tw-bg-opacity: 1; - background-color: rgb(17 24 39 / var(--tw-bg-opacity)); + background-color: rgb(17 24 39 / var(--tw-bg-opacity, 1)); } .dark\:text-gray-200:is(.dark *) { --tw-text-opacity: 1; - color: rgb(229 231 235 / var(--tw-text-opacity)); + color: rgb(229 231 235 / var(--tw-text-opacity, 1)); } .dark\:text-gray-300:is(.dark *) { --tw-text-opacity: 1; - color: rgb(209 213 219 / var(--tw-text-opacity)); + color: rgb(209 213 219 / var(--tw-text-opacity, 1)); } .dark\:text-gray-400:is(.dark *) { --tw-text-opacity: 1; - color: rgb(156 163 175 / var(--tw-text-opacity)); + color: rgb(156 163 175 / var(--tw-text-opacity, 1)); } .dark\:text-white:is(.dark *) { --tw-text-opacity: 1; - color: rgb(255 255 255 / var(--tw-text-opacity)); + color: rgb(255 255 255 / var(--tw-text-opacity, 1)); } .dark\:hover\:bg-gray-600:hover:is(.dark *) { --tw-bg-opacity: 1; - background-color: rgb(75 85 99 / var(--tw-bg-opacity)); + background-color: rgb(75 85 99 / var(--tw-bg-opacity, 1)); } .dark\:hover\:text-white:hover:is(.dark *) { --tw-text-opacity: 1; - color: rgb(255 255 255 / var(--tw-text-opacity)); + color: rgb(255 255 255 / var(--tw-text-opacity, 1)); } @media (min-width: 640px) {