diff --git a/services/web/public/stylesheets/core/_common-variables.less b/services/web/public/stylesheets/core/_common-variables.less
index 84a4f552d2..ab3ef2ccc9 100644
--- a/services/web/public/stylesheets/core/_common-variables.less
+++ b/services/web/public/stylesheets/core/_common-variables.less
@@ -902,10 +902,12 @@
 @toolbar-icon-btn-color         : @gray-light;
 @toolbar-icon-btn-hover-color   : @gray-dark;
 @toolbar-icon-btn-hover-shadow  : 0 1px 0 rgba(0, 0, 0, 0.25);
+@toolbar-icon-btn-hover-boxshadow : inset 0 3px 5px rgba(0, 0, 0, 0.225);
 @toolbar-border-bottom          : 1px solid @toolbar-border-color;
 
 // Editor file-tree
 @file-tree-bg                   : transparent;
+@file-tree-line-height          : 2.6;
 @file-tree-item-color           : @gray-darker;
 @file-tree-item-toggle-color    : @gray;
 @file-tree-item-icon-color      : @gray-light;
@@ -923,7 +925,6 @@
 @editor-toggler-hover-bg-color    : #DDD;
 @synctex-controls-z-index         : 3;
 @synctex-controls-padding         : 0 2px;
-
 // Tags
 @tag-border-radius  : 0.25em;
 @tag-bg-color       : @label-default-bg;
diff --git a/services/web/public/stylesheets/core/ol-variables.less b/services/web/public/stylesheets/core/ol-variables.less
index e86b9de8a7..004bc343d8 100644
--- a/services/web/public/stylesheets/core/ol-variables.less
+++ b/services/web/public/stylesheets/core/ol-variables.less
@@ -172,8 +172,10 @@
 @toolbar-icon-btn-hover-color     : #FFF;
 @toolbar-icon-btn-hover-shadow    : none;
 @toolbar-border-bottom            : 1px solid @toolbar-border-color;
+@toolbar-icon-btn-hover-boxshadow : none;
 // Editor file-tree
 @file-tree-bg                     : @ol-blue-gray-4;
+@file-tree-line-height            : 2.05;
 @file-tree-item-color             : #FFF;
 @file-tree-item-input-color       : @ol-blue-gray-5;
 @file-tree-item-toggle-color      : @ol-blue-gray-2;
@@ -191,8 +193,6 @@
 @editor-toggler-hover-bg-color    : @ol-green;
 @synctex-controls-z-index         : 6;
 @synctex-controls-padding         : 0;
-//== Colors
-//
 //## Gray and brand colors for use across Bootstrap.
 @gray-darker:           #252525;
 @gray-dark:             #505050;