diff --git a/resources/css/ext.uls.pt.less b/resources/css/ext.uls.pt.less
index 47f2d1ef..3c576e6f 100644
--- a/resources/css/ext.uls.pt.less
+++ b/resources/css/ext.uls.pt.less
@@ -6,9 +6,9 @@
 @font-size-browser: 16; // Assumed browser default of `16px`
 // ULS personal tool menu
 @background-position-menu-uls-icon: left ( 1 / @font-size-browser / @font-size-menu-uls );
-@background-size-menu-uls-icon: 16 / @font-size-browser / @font-size-menu-uls;
-@padding-top-menu-uls-icon: 4 / @font-size-browser / @font-size-menu-uls;
-@padding-left-menu-uls-icon: 20 / @font-size-browser / @font-size-menu-uls;
+@background-size-menu-uls-icon: (16 / @font-size-browser / @font-size-menu-uls);
+@padding-top-menu-uls-icon: (4 / @font-size-browser / @font-size-menu-uls);
+@padding-left-menu-uls-icon: (20 / @font-size-browser / @font-size-menu-uls);
 @font-size-menu-uls: 0.75em;
 
 /*