/* Generated by mkweb.py. Edit that script rather than this file. */

/* A heading the original singled out, matching the red used in the PDF. */
.flag > h1, .flag > h2, .flag > h3, .flag > h4 { color: #8C1017; }
@media (prefers-color-scheme: dark) {
  body:not([data-theme="light"]) .flag > h1,
  body:not([data-theme="light"]) .flag > h2,
  body:not([data-theme="light"]) .flag > h3,
  body:not([data-theme="light"]) .flag > h4 { color: #F2A0A4; }
}
body[data-theme="dark"] .flag > h1,
body[data-theme="dark"] .flag > h2,
body[data-theme="dark"] .flag > h3,
body[data-theme="dark"] .flag > h4 { color: #F2A0A4; }