From 1e51cdd88d0423e77966cb2fd54748d5baea831a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Mon, 17 Sep 2018 17:22:09 +0200
Subject: [PATCH] scss: add independent width option to control mobile
 navigation (#26489)

---
 help/fr/misc-scss.page    | 5 +++++
 static/includes/_nav.scss | 5 +++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/help/fr/misc-scss.page b/help/fr/misc-scss.page
index e6bdc026..404a7080 100644
--- a/help/fr/misc-scss.page
+++ b/help/fr/misc-scss.page
@@ -287,6 +287,11 @@ paramètre, la deuxième sa description et la troisième la valeur par défaut.
   <td><p>Largeur sous laquelle adopter le style "mobile"</p></td>
   <td><p><var>800px</var></p></td>
  </tr>
+ <tr>
+  <td><p><code>$nav-mobile-limit</code></p></td>
+  <td><p>Largeur sous laquelle adopter la navigation "mobile"</p></td>
+  <td><p><var>$mobile-limit</var></p></td>
+ </tr>
  <tr>
   <td><p><code>$responsive-menu</code></p></td>
   <td><p>Apparence du menu de navigation responsive, soit top-to-bottom, soit
diff --git a/static/includes/_nav.scss b/static/includes/_nav.scss
index 98ab3990..09541304 100644
--- a/static/includes/_nav.scss
+++ b/static/includes/_nav.scss
@@ -15,6 +15,7 @@ $nav-item-background: transparent !default;
 $nav-submenu-background: $nav-background !default;
 $nav-submenu-color: $nav-menu-color !default;
 $nav-mobile-mode: hamburger !default; /* or bottom-bar */
+$nav-mobile-limit: $mobile-limit !default;
 
 $nav-item-selected-mode: background !default; /* or bottom-border */
 $nav-item-hover-mode: background !default; /* or bottom-border */
@@ -170,7 +171,7 @@ div.menucell {
 }
 
 @if $nav-mobile-mode == hamburger {
-@media screen and (max-width: $mobile-limit) {
+@media screen and (max-width: $nav-mobile-limit) {
 	@if $responsive-menu == left-to-right {
 		body {
 			border-left: 4px solid $nav-border-color;
@@ -328,7 +329,7 @@ div.menucell {
 }
 
 @if $nav-mobile-mode == bottom-bar {
-@media screen and (max-width: $mobile-limit) {
+@media screen and (max-width: $nav-mobile-limit) {
 	div#header h1 {
 		padding-left: 0;
 		background-position: 0;
-- 
2.19.0