/* Original font stylesheet retired upstream; fonts.css supplies locally mirrored original fonts. */