/* Font Awesome compatibility is covered by the site stylesheet. */