/*
 * Font-awesome overrides, and additions
 * Copied from 4.4.1
 */

.fa.green { color: green; }
.fa.red { color: #c00000; }