/* Marca Ondex. Os PNGs são brancos com transparência: usados como máscara, a cor vem do CSS.
   (No site antigo isto era um arquivo de 72 KB com as imagens embutidas; num servidor não precisa.) */
.logo-iso, .logo-word { display: inline-block; flex: none; background: var(--lime); }
.logo-iso {
  aspect-ratio: 672 / 692;
  -webkit-mask: url("isotipo.png") center / contain no-repeat; mask: url("isotipo.png") center / contain no-repeat;
}
.logo-word {
  aspect-ratio: 1552 / 416;
  -webkit-mask: url("logotipo.png") center / contain no-repeat; mask: url("logotipo.png") center / contain no-repeat;
}