/* Source Sans 3, the site's typeface, served with the site rather than from
   Google Fonts, so that a visitor's browser contacts no one but this site.
   The four faces the pages use, as the font files of TeX Live 2026 (Adobe,
   SIL Open Font License 1.1: see LICENSE.txt beside this file). */
@font-face { font-family: "Source Sans 3"; font-style: normal; font-weight: 400; font-display: swap;
             src: url("SourceSans3-Regular.otf") format("opentype"); }
@font-face { font-family: "Source Sans 3"; font-style: normal; font-weight: 600; font-display: swap;
             src: url("SourceSans3-Semibold.otf") format("opentype"); }
@font-face { font-family: "Source Sans 3"; font-style: italic; font-weight: 400; font-display: swap;
             src: url("SourceSans3-RegularIt.otf") format("opentype"); }
@font-face { font-family: "Source Sans 3"; font-style: italic; font-weight: 600; font-display: swap;
             src: url("SourceSans3-SemiboldIt.otf") format("opentype"); }