/* intentionally empty: local replacement for removed external font stylesheet */