/* S.C.O.P.E. webfonts — loaded from Google Fonts.
   Spectral  : literary serif, the "romanticism" display layer (headings, quotes)
   IBM Plex Sans : technical UI + body
   IBM Plex Mono : mathematical notation, scope syntax, code, case IDs, data */
@import url('https://fonts.googleapis.com/css2?family=Spectral:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,300;1,400;1,500;1,600&family=IBM+Plex+Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;1,400;1,500&family=IBM+Plex+Mono:ital,wght@0,400;0,500;0,600;1,400&display=swap');