/* Declaraciones @font-face propias del sitio de documentación.
   En la app viven dentro de app.css (procesado por Tailwind); aquí se
   escriben a mano con los mismos nombres de familia y archivos. */

@font-face {
  font-family: "Source Sans 3";
  font-weight: normal;
  font-style: normal;
  font-stretch: normal;
  src: url("/fonts/SourceSans3-Regular.woff2") format("woff2");
}
@font-face {
  font-family: "Source Sans 3";
  font-weight: normal;
  font-style: italic;
  font-stretch: normal;
  src: url("/fonts/SourceSans3-Italic.woff2") format("woff2");
}
@font-face {
  font-family: "Source Sans 3";
  font-weight: bold;
  font-style: normal;
  font-stretch: normal;
  src: url("/fonts/SourceSans3-SemiBold.woff2") format("woff2");
}
@font-face {
  font-family: "Source Sans 3";
  font-weight: bold;
  font-style: italic;
  font-stretch: normal;
  src: url("/fonts/SourceSans3-SemiBoldItalic.woff2") format("woff2");
}
@font-face {
  font-family: "Junicode";
  font-weight: normal;
  font-style: normal;
  font-stretch: normal;
  src: url("/fonts/Junicode.woff2") format("woff2");
}
@font-face {
  font-family: "Junicode";
  font-weight: normal;
  font-style: italic;
  font-stretch: normal;
  src: url("/fonts/Junicode-Italic.woff2") format("woff2");
}
@font-face {
  font-family: "Junicode";
  font-weight: bold;
  font-style: normal;
  font-stretch: normal;
  src: url("/fonts/Junicode-Bold.woff2") format("woff2");
}
@font-face {
  font-family: "Junicode";
  font-weight: bold;
  font-style: italic;
  font-stretch: normal;
  src: url("/fonts/Junicode-BoldItalic.woff2") format("woff2");
}