From 88aa4451560d6cb3afd93871c0a06ed01e09c30a Mon Sep 17 00:00:00 2001
From: Sergiotarxz <sergiotarxz@posteo.net>
Date: Tue, 12 Sep 2023 09:22:35 +0200
Subject: [PATCH] Removing search controls in desktop.

---
 public/css/styles.css  | 2 ++
 public/css/styles.scss | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/public/css/styles.css b/public/css/styles.css
index 78da5fa..18a79d7 100644
--- a/public/css/styles.css
+++ b/public/css/styles.css
@@ -433,6 +433,8 @@ body {
 @media (min-width: 1100px) {
   body nav.mobile-shortcuts {
     display: none; }
+  body div.search-in-page.active {
+    display: none; }
   body div.page-contents {
     top: 0%;
     left: 5%;
diff --git a/public/css/styles.scss b/public/css/styles.scss
index f17c5e3..afc9013 100644
--- a/public/css/styles.scss
+++ b/public/css/styles.scss
@@ -655,6 +655,9 @@ body {
     nav.mobile-shortcuts {
       display: none;
     }
+    div.search-in-page.active {
+        display: none;
+    }
 
     div.page-contents {
       nav.mobile-foldable, nav.mobile-foldable.show {