Shorter CSS colors