@redconfetti can we use `$header-font-family` here?