From 1782227602fd51fa85a2d9e6162cbc9868d947c8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Krier?= <ced@b2ck.com>
Date: Thu, 30 Aug 2018 16:15:41 +0200
Subject: [PATCH] Style menu as a navbar

issue7655
review60321002
---
 index.html   | 4 ++--
 src/sao.less | 7 +++++--
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/index.html b/index.html
index 3d30e417a8..38b89c3a54 100644
--- a/index.html
+++ b/index.html
@@ -41,7 +41,7 @@ this repository contains the full copyright notices and license terms. -->
         <link rel="stylesheet" type="text/css" href="custom.css" media="screen"/>
         </head>
         <body>
-        <nav class="navbar navbar-default navbar-static-top" role="navigation" style="margin-bottom: 1px;">
+        <nav class="navbar navbar-default navbar-static-top" role="navigation" style="margin-bottom: 0px;">
             <div class="container-fluid">
                 <div class="navbar-header">
                     <button type="button" class="navbar-toggle collapsed"
@@ -68,7 +68,7 @@ this repository contains the full copyright notices and license terms. -->
         <div id="main" class="container-fluid" style="padding: 0px;">
             <div class="row row-offcanvas row-offcanvas-left active"
                 style="height: calc(100vh - 50px - 1px - 20px); margin: 0px;">
-                <div class="col-xs-12 col-sm-3 col-lg-2 sidebar-offcanvas" id="menu" role="navigation"
+                <div class="navbar-default col-xs-12 col-sm-3 col-lg-2 sidebar-offcanvas" id="menu" role="navigation"
                     style="overflow-y: auto; height: 100%;"></div>
                 <div class="col-xs-12 col-md-9 col-lg-10 main-offcanvas" style="overflow-y: auto; height: 100%;">
                     <div id="tabs" role="tabpanel">
diff --git a/src/sao.less b/src/sao.less
index b89374b254..c54f746087 100644
--- a/src/sao.less
+++ b/src/sao.less
@@ -23,7 +23,9 @@
 }
 
 #menu {
-    border-right: 2px solid @table-border-color;
+    border-width: 1px;
+    border-style: solid;
+    border-top: none;
 }
 [dir="rtl"] #menu {
     border-right: none;
@@ -33,9 +35,10 @@
     #menu {
         border-right: none;
         border-left: none;
+        border-width: none;
     }
     .active #menu {
-        border-right: 2px solid @table-border-color;
+        border-width: 1px;
     }
     [dir="rtl"] .active #menu {
         border-right: none;