@red: #cc0000;
body { color: @red }