.todo { .mix-red-badge("[todo]");}
.fixme { .mix-red-badge("[fixme]");}
.deadline { .mix-red-badge("[deadline]");}
.important { .mix-red-badge("[important]");}
.urgent { .mix-red-badge("[urgent]");}
.verify { .mix-red-badge("[verify]");}
.draftcomment { .mix-green-badge("[comment]")}

.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)}