theme: fix topbar radius and overlay color #210

This commit is contained in:
Sören Weber 2022-03-04 00:12:31 +01:00
parent 3a1cb99286
commit 9732cc9aa9
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589
2 changed files with 3 additions and 4 deletions

View file

@ -947,7 +947,6 @@ td {
#topbar { #topbar {
background-color: #ffffff; /* var(--MAIN-BG-color) */ background-color: #ffffff; /* var(--MAIN-BG-color) */
border-radius: 2px;
min-height: 3rem; min-height: 3rem;
position: relative; position: relative;
z-index: 480; z-index: 480;

View file

@ -223,7 +223,7 @@ pre .copy-to-clipboard-button:hover {
background-color: var(--INTERNAL-MAIN-LINK-color); background-color: var(--INTERNAL-MAIN-LINK-color);
} }
.progress { .toc-flyout .progress {
background-color: var(--INTERNAL-MAIN-BG-color); background-color: var(--INTERNAL-MAIN-BG-color);
} }