#syntax-highlight-colors {
    .slate() { color: #4a6785; }
    .brown() { color: #815b3a; }
    .red() { color: #C03E32; }
    .blue() { color: #336EA9; }
    .green() { color: #127B27; }
    .medium-grey() { color: #696969; }
    .brown() { color: #815b3a; }
    .mauve() { color: #8F5D66; }
    .bright-pink() { color: #B34457; }
    .charcoal() { color: #333; }
}
