From 7d737e763630f00f4bd6c32c7470da61e592cfbf Mon Sep 17 00:00:00 2001 From: Adorian Doran Date: Wed, 27 Nov 2024 18:59:54 +0200 Subject: [PATCH] Introduce a root background color, make the tab bar and gutter background transparent --- src/public/stylesheets/theme-next.css | 32 ++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) diff --git a/src/public/stylesheets/theme-next.css b/src/public/stylesheets/theme-next.css index 1d8486f1b..665c0adad 100644 --- a/src/public/stylesheets/theme-next.css +++ b/src/public/stylesheets/theme-next.css @@ -86,7 +86,9 @@ --launcher-pane-button-hover-background: white; --launcher-pane-button-hover-shadow: 4px 4px 4px rgba(0, 0, 0, .075); - --gutter-color: #e7e7e7; + --root-background: var(--left-pane-background-color); + + --gutter-color: transparent; --gutter-hover-color: #bfbfbf; --active-tab-background-color: #ddd; @@ -176,6 +178,8 @@ --launcher-pane-button-hover-background: white; --launcher-pane-button-hover-shadow: 4px 4px 4px rgba(0, 0, 0, .075); + --root-background: var(--left-pane-background-color); + --gutter-color: #e7e7e7; --gutter-hover-color: #bfbfbf; @@ -232,6 +236,11 @@ } } +#root-widget { + background-color: var(--root-background); +} + + /* * Launcher pane */ @@ -386,10 +395,31 @@ transition: background 300ms ease-in; } +/* + * Tab bar + */ + +.tab-row-widget { + background: transparent !important; +} + +/* + * Center pane + */ + + #center-pane { + background: var(--main-background-color); + } + + /* * Table of contents & Highlights list */ +#right-pane { + background: var(--main-background-color); +} + #right-pane .toc li, #right-pane .highlights-list li { padding: 2px 8px;