@red: red;

html {
    color: @red;
}