/* Local font fallback and repurposed personal identity slots. */
@font-face {
  font-family: "Hex Franklin";
  src: url("../fonts/HexFranklin.woff2") format("woff2");
  font-weight: 1 999;
  font-stretch: 0% 100%;
  font-display: swap;
}
.heading-sponsors {
  flex: 1 1 0;
  min-width: 0;
}
.heading-sponsors .location-label {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  height: 100%;
  text-align: right;
  line-height: 1.25;
}
pre.professional-identity code {
  padding-right: var(--margin-s);
}