span.todo { .mix-red-badge("todo");}
span.fixme { .mix-red-badge("fixme");}

.red-circle {.mix-circle(@bright-red)}
.green-circle {.mix-circle(@bright-green)}
.yellow-circle {.mix-circle(@bright-yellow)}
.gray-circle {.mix-circle(@gray)}

.star { .mix-symbol("\2605", @bright-yellow)}
.heart {.mix-symbol("\2665", @bright-red)}
.cross {.mix-symbol("\2718 ", @bright-red)}
.check {.mix-symbol("\2714 ", @bright-green)}