@menuHeight: 94px;
@pageToolWidth: 220px;
@propertiesToolWidth: 250px;

/* colors */
@silexlightgrey: #535353;
@silexmediumgrey: #464646;
@silexmediumdarkgrey: #393939;
@silexdarkgrey: #262626;