From 92f27e06deb39c87ebf2e49e01ae49a483db41b3 Mon Sep 17 00:00:00 2001 From: Adorian Doran Date: Thu, 12 Dec 2024 02:06:26 +0200 Subject: [PATCH] style(next): restyle the tree settings popup --- src/public/stylesheets/theme-next/shell.css | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/src/public/stylesheets/theme-next/shell.css b/src/public/stylesheets/theme-next/shell.css index 2ddfebc8c..275cd5a43 100644 --- a/src/public/stylesheets/theme-next/shell.css +++ b/src/public/stylesheets/theme-next/shell.css @@ -471,6 +471,25 @@ div.quick-search .search-button.show { --menu-item-icon-vert-offset: 1.5px; } +/* + * Tree settings panel + */ + +#left-pane .tree-settings-popup { + box-shadow: 0px 10px 20px rgba(0, 0, 0, var(--dropdown-shadow-opacity)); + border: 1px solid var(--dropdown-border-color); + padding: 25px; + background: var(--menu-background-color); + backdrop-filter: blur(10px) saturate(6); + color: var(--menu-text-color); +} + +#left-pane .tree-settings-popup h4 { + margin-bottom: .75em; + font-size: 1.5em; + line-height: 1; +} + /* * Gutter */