Tweak mode-line icon to be consistent with -spin-theme when idle
Tweak mode-line icon to be consistent with -spin-theme when idle

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el