#header { color: (@base-color * 3); border-left: @the-border; border-right: (@the-border * 2);}#footer { color: (@base-color + #003300); border-color: @red;}@red: desaturate(red, 10%); // less file overrides passed in color <- note line comment on last line to check it is okay