themes: Define menu separator color

Resolves #10007.

The menu separator color was not defined in the stylesheet,
so it could vary based on the system stylesheet.
It is now set to @stronger-border-color.
This commit is contained in:
Alx Sa 2023-09-19 02:26:27 +00:00
parent 8653957b96
commit aa1cce620c
1 changed files with 1 additions and 0 deletions

View File

@ -431,6 +431,7 @@ menu box {
* with a different background color. Let's get rid of it.
*/
menu separator {
background-color: @stronger-border-color;
margin: 0;
}