From 3f83648e8166be8d1593cf53d7e81f718e9cd579 Mon Sep 17 00:00:00 2001
From: Tim Alby <timothee.alby@gmail.com>
Date: Mon, 2 Dec 2019 13:14:50 +0530
Subject: [PATCH] add spacing at the bottom of the editor menu

GitOrigin-RevId: 117d34415dca6ce63018181298b9c349eae20127
---
 services/web/frontend/stylesheets/app/editor/left-menu.less | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/services/web/frontend/stylesheets/app/editor/left-menu.less b/services/web/frontend/stylesheets/app/editor/left-menu.less
index 23a32567d3..124dcf584b 100644
--- a/services/web/frontend/stylesheets/app/editor/left-menu.less
+++ b/services/web/frontend/stylesheets/app/editor/left-menu.less
@@ -54,6 +54,10 @@
 		}
 	}
 
+	> ul.nav:last-child {
+		margin-bottom: @line-height-computed / 2;
+	}
+
 	ul.nav-downloads {
 		li {
 			display: inline-block;