themes: less thick menu separators and thick dark borders in menu tooltips.

This commit is contained in:
Ville Pätsi 2023-06-12 22:43:41 +02:00 committed by Jehan
parent 9efc552069
commit c9cd4cea2a
1 changed files with 7 additions and 2 deletions

View File

@ -250,6 +250,10 @@ paned separator {
padding: 3px;
}
paned menu separator {
padding: 0px;
}
.view button {
background-color: @bg-color;
border-color: @border-color;
@ -350,8 +354,9 @@ tooltip {
/* The border around a tooltip */
.background {
background-color: @border-color;
border: 1px;
background-color: @bg-color;
border-color: @border-color;
border-width: 1px;
}
/* The border around a frame */