This seems to fix the menu in mobile [deploy site]

diemol · diemol · commit 325021941544 · 2019-11-12T20:56:39.000+01:00
diff --git a/site_source_files/themes/selenium/layouts/downloads/section.html b/site_source_files/themes/selenium/layouts/downloads/section.html
@@ -4,7 +4,6 @@
 <link href="https://fonts.googleapis.com/css?family=Encode+Sans" rel="stylesheet">
 
 <body>
-<div>
 <section class="hero">
     <h1>Downloads</h1>
     <div class="header-description">
diff --git a/site_source_files/themes/selenium/static/css/header.css b/site_source_files/themes/selenium/static/css/header.css
@@ -1,6 +1,6 @@
 header {
   display: flex;
-  max-height: 10%;
+  max-height: 100%;
   justify-content: space-between;
   align-items: center;
   margin: 20px;
