From 2c0fcb51e0499ce3b1af80952a761013124f76db Mon Sep 17 00:00:00 2001 From: Paulo Reis Date: Tue, 28 Nov 2017 11:27:45 +0000 Subject: [PATCH] Unneeded LESS guard. --- services/web/public/stylesheets/app/editor/file-tree.less | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/services/web/public/stylesheets/app/editor/file-tree.less b/services/web/public/stylesheets/app/editor/file-tree.less index b15c6f17a3..1ccbc6859c 100644 --- a/services/web/public/stylesheets/app/editor/file-tree.less +++ b/services/web/public/stylesheets/app/editor/file-tree.less @@ -47,11 +47,7 @@ overflow-x: hidden; height: 100%; - ul when (@is-overleaf = false) { - margin-left: (@line-height-computed / 2); - } - - ul when (@is-overleaf = true) { + ul { margin-left: (@line-height-computed / 2); }