From f425b0829e72b2f61a40fe37ceb639d205025fe6 Mon Sep 17 00:00:00 2001 From: bluelovers Date: Tue, 11 Jun 2024 13:14:16 +0800 Subject: [PATCH] chore: tweak scrollbar color with theme https://github.com/AUTOMATIC1111/stable-diffusion-webui/pull/16153 --- modules/ui_gradio_extensions.py | 4 ++++ style.css | 10 ++++++++++ 2 files changed, 14 insertions(+) diff --git a/modules/ui_gradio_extensions.py b/modules/ui_gradio_extensions.py index ed57c1e9896..9c9bc68cebd 100644 --- a/modules/ui_gradio_extensions.py +++ b/modules/ui_gradio_extensions.py @@ -46,6 +46,10 @@ def stylesheet(fn): dark = resolve_var('background_fill_primary_dark') head += f'' + light_text = resolve_var('body_text_color') + dark_text = resolve_var('body_text_color_dark') + head += f'' + return head diff --git a/style.css b/style.css index 64ef61bad46..9ae0d14cc9c 100644 --- a/style.css +++ b/style.css @@ -19,6 +19,16 @@ div.gradio-image button[aria-label="Edit"] { } + +html { + scrollbar-color: var(--body-text-color) var(--body-background-fill) +} + +body { + /* background: var(--body-background-fill); */ + color: var(--body-text-color); +} + .block.padded:not(.gradio-accordion) { padding: 0 !important; }