It shouldn't be necessary, since it was basically specifying a font that may or may not be installed on folks' computers (and wasn't loaded from the CSS). Tiny simplification but I'll take it 😁