Edge to edge: nav menu padding

app/src/main/java/eu/faircode/email/ActivityBase.java

@@ -249,6 +249,12 @@ abstract class ActivityBase extends AppCompatActivity implements SharedPreferenc
                         content.setPaddingRelative(
                                 content.getPaddingStart(), content.getPaddingTop(),
                                 content.getPaddingEnd(), pad);
+
+                    View navmenu = findViewById(R.id.navmenu);
+                    if (navmenu != null && navmenu.getPaddingBottom() != nav.bottom - nav.top)
+                        navmenu.setPaddingRelative(
+                                navmenu.getPaddingStart(), navmenu.getPaddingTop(),
+                                navmenu.getPaddingEnd(), nav.bottom - nav.top);
                 }
             } catch (Throwable ex) {
                 Log.e(ex);

app/src/main/res/layout/include_nav.xml

@@ -1,6 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <androidx.constraintlayout.widget.ConstraintLayout xmlns:android="http://schemas.android.com/apk/res/android"
     xmlns:app="http://schemas.android.com/apk/res-auto"
+    android:id="@+id/navmenu"
     android:layout_width="match_parent"
     android:layout_height="wrap_content"
     android:animateLayoutChanges="false"