From 9732cc9aa9bc5e2161e6e047d023e323a6c1f123 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Fri, 4 Mar 2022 00:12:31 +0100
Subject: [PATCH] theme: fix topbar radius and overlay color #210

---
 static/css/theme.css   | 5 ++---
 static/css/variant.css | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/static/css/theme.css b/static/css/theme.css
index 51de429ad6..7d76774561 100644
--- a/static/css/theme.css
+++ b/static/css/theme.css
@@ -947,10 +947,9 @@ td {
 
 #topbar {
     background-color: #ffffff; /* var(--MAIN-BG-color) */
-    border-radius: 2px;
     min-height: 3rem;
-	position: relative;
-	z-index: 480;
+    position: relative;
+    z-index: 480;
 }
 
 #topbar > div {
diff --git a/static/css/variant.css b/static/css/variant.css
index d3420b0147..85faaa01ea 100644
--- a/static/css/variant.css
+++ b/static/css/variant.css
@@ -223,7 +223,7 @@ pre .copy-to-clipboard-button:hover {
     background-color: var(--INTERNAL-MAIN-LINK-color);
 }
 
-.progress {
+.toc-flyout .progress {
   background-color: var(--INTERNAL-MAIN-BG-color);
 }