/* Font Awesome stub — original not on mirror; icons fall back to system UI */
.fa:before { display: inline-block; }
