From c1a5a8d50b508dc875a0825c655b2f0a4673c603 Mon Sep 17 00:00:00 2001
From: Michael Weimann <mail@michael-weimann.eu>
Date: Fri, 26 Mar 2021 16:01:38 +0100
Subject: [PATCH] fix mobile safari menu layout

Add extra bottom margin because mobile Safari displays a bottom bar hiding parts of the menu.

Signed-off-by: Michael Weimann <mail@michael-weimann.eu>
---
 resources/assets/themes/base.less | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/resources/assets/themes/base.less b/resources/assets/themes/base.less
index f04c3530..002ed5da 100644
--- a/resources/assets/themes/base.less
+++ b/resources/assets/themes/base.less
@@ -411,6 +411,8 @@ span.ref-id[id] {
     max-height: unset;
     left: 101%;
     top: @navbar-height + 1;
+    // extra padding because mobile Safari displays a bottom bar hiding parts of the menu
+    padding-bottom: 75px;
 
     transition: left .3s ease-in-out;
     -webkit-transition: left .3s ease-in-out;
@@ -434,6 +436,7 @@ span.ref-id[id] {
     .nav > li.active {
       display: none;
     }
+
     .caret {
       float: right;
       margin-top: 7px;