/*
 * Module-coding typography: the classes modules emit through dmHeader() and
 * addHeader() (public/global/helper-functions.js, public/scripts/programmerFunctions.js).
 * Hand-written, unlike module-palette.css. Resolved at render time, so changing a
 * value here restyles every stored problem without regenerating it.
 *
 * Kept identical in apps/manager/public/global/ and apps/angular-app/src/assets/:
 * the Angular app renders PDFs, so a header must look the same in both.
 *
 * Appearance only, never spacing: a header's gaps come from space() in the module,
 * like every other line. dm-mod-header-row marks header rows for tooling; nothing styles it.
 */

:root {
  --dm-mod-header-font-family: inherit;
}

.dm-mod-header {
  font-family: var(--dm-mod-header-font-family);
  font-weight: 700;
  font-size: inherit;
  line-height: inherit;
  text-align: center;
}