From 0629d4bef04c833aca3d68cb694027889247da17 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Krier?= Date: Thu, 26 Jul 2018 00:25:00 +0200 Subject: [PATCH] Move global search in navbar This gives more places to display menu entries in the dropdown. And provide more spaces for the menu on small screen. issue7485 review47621002 --- index.html | 2 ++ src/sao.js | 47 +++++++++++++++++++---------------------------- 2 files changed, 21 insertions(+), 28 deletions(-) diff --git a/index.html b/index.html index d3b51a791e..bac744510c 100644 --- a/index.html +++ b/index.html @@ -53,6 +53,8 @@ this repository contains the full copyright notices and license terms. -->