/* Embedded project fonts. Device sizes and layouts remain separately scoped. */
@font-face {
  font-family: 'Saving Heros';
  src: url('../TeX-Gyre-Heros-fontfacekit/web%20fonts/texgyreheros_regular_macroman/texgyreheros-regular-webfont.woff') format('woff');
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
@font-face {
  font-family: 'Saving Heros';
  src: url('../TeX-Gyre-Heros-fontfacekit/web%20fonts/texgyreheros_bold_macroman/texgyreheros-bold-webfont.woff') format('woff');
  font-weight: 700;
  font-style: normal;
  font-display: block;
}
html.desktop-heros,
html.desktop-heros #opening h1,
html.desktop-heros #opening .credit,
html.desktop-heros #opening .sound-prompt,
html.desktop-heros #opening #begin,
html.desktop-heros #order-choice,
html.desktop-heros #navigation-hint,
html.desktop-heros #arrival-reminder,
html.desktop-heros .history-arrow,
html.desktop-heros #reset,
html.desktop-heros #sound-toggle,
html.desktop-heros .story-line,
html.desktop-heros .rain-letter {
  font-family: 'Saving DejaVu Sans', Arial, sans-serif;
}
html.desktop-heros .warped-letter {
  font-family: 'Saving Heros', Arial, sans-serif;
  font-weight: 700;
}

/* Reduce desktop story text by two typographic points (1pt = 4/3px). */
html.desktop-heros .story-line {
  font-size: calc(15px - 2pt);
}
html.desktop-heros.portrait-layout .story-line {
  font-size: var(--touch-font, calc(15px - 2pt));
}

/* Shared DejaVu web font. License: ../dejavu-sans-fontfacekit/DejaVu Fonts License.txt */
@font-face {
  font-family: 'Saving DejaVu Sans';
  src: url('../dejavu-sans-fontfacekit/web%20fonts/dejavusans_regular_macroman/DejaVuSans-webfont.woff') format('woff');
  font-weight: 400;
  font-style: normal;
  font-display: block;
}
html.desktop-heros .story-line {
  font-family: 'Saving DejaVu Sans', Arial, sans-serif;
  font-weight: 400;
}

/* Smaller desktop reading instructions and order choice. */
html.desktop-heros #navigation-hint { font-size:1.4rem; }
html.desktop-heros #order-choice { font-size:1.5rem; }

/* Touch uses the same DejaVu text family; retain its responsive font sizes
   and the original interior-animation font. */
html.touch-dejavu,
html.touch-dejavu #opening h1,
html.touch-dejavu #opening .credit,
html.touch-dejavu #opening .sound-prompt,
html.touch-dejavu #opening #begin,
html.touch-dejavu #order-choice,
html.touch-dejavu #navigation-hint,
html.touch-dejavu #arrival-reminder,
html.touch-dejavu .history-arrow,
html.touch-dejavu #reset,
html.touch-dejavu #sound-toggle,
html.touch-dejavu .story-line,
html.touch-dejavu .rain-letter {
  font-family: 'Saving DejaVu Sans', Arial, sans-serif;
}
html.touch-dejavu .story-line { font-weight:400; }