themes: have the "extreme" CSS colors a bit less extreme.

We had some concept of slightly more extreme theme colors (i.e. darker in dark
themes) to color differently in some widget-in-widget cases.

For instance, we use this in the treeview list to separate it better from nearby
interface. But this extreme dark background may have been a bit "too dark", as
reported by Jacob. The goal is for this list to stand out, but maybe it was
standing out too much. Hopefully it's better now.

As a side change, I also add some borders to the top icon header (with "eye" and
"lock" icons) just above the list. I think it better explain the separation.
This commit is contained in:
Jehan 2022-09-29 17:15:43 +02:00
parent 403d11330c
commit 91ec8a34f3
2 changed files with 8 additions and 3 deletions

View File

@ -47,6 +47,11 @@
color: @bg-color;
}
.view header button {
background-color: @bg-color;
border: 1px solid @stronger-border-color;
}
/* The main image window before it has an image in it,
* and the buttonbar along the bottoms of dialogs.
* Foreground color here is the text color, not the Wilber color.

View File

@ -39,12 +39,12 @@
/* Background color more extreme in the theme tendency, i.e. darker on a
* dark theme, ligther on a light theme. */
@define-color extreme-bg-color rgb(5,5,5);
@define-color extreme-bg-color rgb(20,20,20);
/* Color for a selected item to "stick out" when @extreme-bg-color is
* used. It will usually be darker than @bg-color on a light theme,
* ligher on a dark theme.
* lighter on a dark theme.
*/
@define-color extreme-selected-color rgb(35,35,35);
@define-color extreme-selected-color rgb(40,40,40);
/********* Variants for border colors *********/