From dbe4953982536fd89f1de158121323dbee63a815 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9mie=20Drouet?= Date: Wed, 20 May 2020 09:48:43 +0200 Subject: [PATCH] move navbar to burger menu on mobile MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Jérémie Drouet --- _includes/navigation.html | 6 +++--- _includes/side-menu.html | 5 ++++- _scss/_mobile.scss | 41 +++++++++++++++++++-------------------- _scss/_navigation.scss | 11 ++++++++--- js/docs.js | 4 +++- 5 files changed, 38 insertions(+), 29 deletions(-) diff --git a/_includes/navigation.html b/_includes/navigation.html index f83b06983d..418d577234 100644 --- a/_includes/navigation.html +++ b/_includes/navigation.html @@ -15,13 +15,13 @@ -