/* Fontes da IOMI (tema 2.24.0), alojadas no próprio site: quem visita não contacta servidores externos.
   IOMI Display e IOMI Serif: derivadas de Linux Libertine (Philipp H. Poll). IOMI Sans: derivada de Source Sans Pro (Adobe).
   Ambas sob a SIL Open Font License 1.1, com nome próprio, como a licença pede para versões modificadas.
   2.24.0: mais sinais (expoentes, frações, setas, ligaduras), todas as funcionalidades tipográficas úteis
   (espaçamento entre pares, ligaduras, números tabelares e de texto, frações, ordinais), a IOMI Sans com as
   instruções de nitidez originais da Adobe e o semi-negrito itálico.
   IBM Plex Mono: IBM, SIL Open Font License 1.1, ficheiro sem alterações. Licenças completas em LICENCAS.txt. */
@font-face { font-family: "IOMI Display"; src: url(iomi-display.woff2) format("woff2"); font-weight: 400 800; font-style: normal; font-display: swap; }
@font-face { font-family: "IOMI Serif"; src: url(iomi-serif-400.woff2) format("woff2"); font-weight: 400 500; font-style: normal; font-display: swap; }
@font-face { font-family: "IOMI Serif"; src: url(iomi-serif-400i.woff2) format("woff2"); font-weight: 400 500; font-style: italic; font-display: swap; }
@font-face { font-family: "IOMI Serif"; src: url(iomi-serif-600.woff2) format("woff2"); font-weight: 600 900; font-style: normal; font-display: swap; }
@font-face { font-family: "IOMI Serif"; src: url(iomi-serif-600i.woff2) format("woff2"); font-weight: 600 900; font-style: italic; font-display: swap; }
@font-face { font-family: "IOMI Sans"; src: url(iomi-sans-400.woff2) format("woff2"); font-weight: 400 500; font-style: normal; font-display: swap; }
@font-face { font-family: "IOMI Sans"; src: url(iomi-sans-400i.woff2) format("woff2"); font-weight: 400 500; font-style: italic; font-display: swap; }
@font-face { font-family: "IOMI Sans"; src: url(iomi-sans-600.woff2) format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "IOMI Sans"; src: url(iomi-sans-600i.woff2) format("woff2"); font-weight: 600 900; font-style: italic; font-display: swap; }
@font-face { font-family: "IOMI Sans"; src: url(iomi-sans-700.woff2) format("woff2"); font-weight: 700 900; font-style: normal; font-display: swap; }
@font-face { font-family: "IBM Plex Mono"; src: url(iomi-mono-500.woff2) format("woff2"); font-weight: 400 600; font-style: normal; font-display: swap; unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }

/* Acabamento tipográfico: espaçamento entre pares e ligaduras sempre ligados; sem negritos nem itálicos falsos
   (todas as variantes usadas existem); números alinhados nos preços e nas tabelas. */
html { font-kerning: normal; font-variant-ligatures: common-ligatures contextual; text-rendering: optimizeLegibility; font-synthesis: none; -webkit-text-size-adjust: 100%; }
table, .price-amount, .price-extra, .month-total, .sim-result, .balance, .facts dd, [data-sim], .tile-count, .badge { font-variant-numeric: lining-nums tabular-nums; }