/* O portal usa "Verdana", que so existe no Windows. Sem ela (Linux, Mac sem a fonte, celular)
   o navegador caia no Times New Roman. Aqui o nome "Verdana" usa a fonte do computador quando existe
   e, se nao existir, a DejaVu Sans que vai junto com o portal (licenca livre; desenho parecido). */
@font-face { font-family: "Verdana"; font-weight: 400; font-style: normal; font-display: swap;
  src: local("Verdana"), url("fonts/DejaVuSans.woff2") format("woff2"); }
@font-face { font-family: "Verdana"; font-weight: 700; font-style: normal; font-display: swap;
  src: local("Verdana Bold"), local("Verdana-Bold"), url("fonts/DejaVuSans-Bold.woff2") format("woff2"); }