/*
 * Font Awesome Pro 7.3.1, entry point kept under the FontAwesome 4 file name so the
 * glyphStyleFile setting and stylesheets.php keep working unchanged.
 *
 * v4-font-face maps the `FontAwesome` font family (glyphFontFamily) onto the FA7 fonts, so
 * glyphs given as FontAwesome 4 code points keep rendering; v4-shims does the same for the
 * FontAwesome 4 `fa fa-*` class names.
 */
@import url("css/all.min.css");
@import url("css/v4-font-face.min.css");
@import url("css/v4-shims.min.css");

/*
 * FontAwesome 4 had no glyphs for letters and digits, text inside an element using the
 * `FontAwesome` family fell back to the next font. FA7 has icons at the code points of 0-9,
 * A-Z and some signs, so such text (e.g. "(0xf0aa)" beside a glyph) came out as icons.
 * Overlapping faces are checked from the last defined one, so everything outside the
 * private use area (U+E000-F8FF), where the icons are, is taken from a text font.
 */
@font-face {
    font-family: "FontAwesome";
    src: local("Helvetica Neue"), local("HelveticaNeue"), local("Helvetica"), local("Arial"),
        local("Segoe UI"), local("Roboto"), local("DejaVu Sans");
    unicode-range: U+0-DFFF, U+F900-FFFF;
}