Improve hamburguer menu in v2, still not perfect.

services/web/public/stylesheets/components/navbar.less

@@ -52,7 +52,6 @@
   overflow-x: visible;
   padding-right: @navbar-padding-horizontal;
   padding-left:  @navbar-padding-horizontal;
-  box-shadow: inset 0 1px 0 rgba(255,255,255,.1);
   &:extend(.clearfix all);
   -webkit-overflow-scrolling: touch;
 
@@ -569,3 +568,9 @@
   }
 
 }
+
+.navbar-default when (@is-overleaf = true) {
+  @media (min-width: @grid-float-breakpoint) {
+    padding: @navbar-default-padding-v 0;
+  }
+}

services/web/public/stylesheets/core/ol-variables.less

@@ -96,7 +96,7 @@
 
 // Navbar
 @navbar-default-padding-v         : (@grid-gutter-width / 2);
-@navbar-default-padding-h         : 0;
+@navbar-default-padding-h         : 10px;
 @navbar-default-padding           : @navbar-default-padding-v @navbar-default-padding-h;
 @navbar-default-link-color        : #FFF;
 @navbar-default-link-hover-bg     : @ol-green;