/* Preview only: same Gravesend font, slightly stronger strokes. */
body h1,body h2,body h3{-webkit-text-stroke:.22px currentColor}
@media(max-width:640px){body h1,body h2,body h3{-webkit-text-stroke:.25px currentColor}}