Make all lax faces inherit from a common (slanted) face by default
Make all lax faces inherit from a common (slanted) face by default

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