From a7f8b8acde8b2694d2629ee79054123b92c28be1 Mon Sep 17 00:00:00 2001
From: Ivan Blinkov <github@blinkov.ru>
Date: Tue, 31 Mar 2020 20:07:21 +0300
Subject: [PATCH] Workaround for top nav issue

---
 website/css/bootstrap.css | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/website/css/bootstrap.css b/website/css/bootstrap.css
index 8eac957a512..dcfed4306e6 100644
--- a/website/css/bootstrap.css
+++ b/website/css/bootstrap.css
@@ -7978,15 +7978,14 @@ button.bg-dark:focus {
   z-index: 1030;
 }
 
-@supports ((position: -webkit-sticky) or (position: sticky)) {
-  .sticky-top {
-    position: -webkit-sticky;
-    position: sticky;
-    top: 0;
-    z-index: 1020;
-  }
+.sticky-top {
+  position: -webkit-sticky;
+  position: sticky;
+  top: 0;
+  z-index: 1020;
 }
 
+
 .sr-only {
   position: absolute;
   width: 1px;
@@ -10221,4 +10220,4 @@ a.text-dark:hover, a.text-dark:focus {
     border-color: #dee2e6;
   }
 }
-/*# sourceMappingURL=bootstrap.css.map */
\ No newline at end of file
+/*# sourceMappingURL=bootstrap.css.map */