html {
  --pst-header-height: 3rem;
  --pst-font-family-base-system: IBM Plex Sans;
  --pst-font-family-monospace-system: IBM Plex Mono;
}

a.navbar-brand, a.navbar-brand:hover {
  text-decoration: none;
  color: black;
  font-weight: 700;
}

@font-face {
  font-family: IBM Plex Sans;
  src: url("../fonts/IBMPlexSans-Regular.woff2") format("woff2"),
    url("../fonts/IBMPlexSans-Regular.ttf") format("ttf");
  font-weight: 400;
  font-style: normal;
  font-stretch: normal;
  font-variant: normal;
}

@font-face {
  font-family: IBM Plex Sans;
  src: url("../fonts/IBMPlexSans-Medium.woff2") format("woff2"),
    url("../fonts/IBMPlexSans-Medium.ttf") format("ttf");
  font-weight: 500;
  font-style: normal;
  font-stretch: normal;
  font-variant: normal;
}

@font-face {
  font-family: IBM Plex Sans;
  src: url("../fonts/IBMPlexSans-Bold.woff2") format("woff2"),
    url("../fonts/IBMPlexSans-Bold.ttf") format("ttf");
  font-weight: 700;
  font-style: normal;
  font-stretch: normal;
  font-variant: normal;
}

@font-face {
  font-family: IBM Plex Mono;
  src: url("../fonts/IBMPlexMono-Regular.woff2") format("woff2"),
    url("../fonts/IBMPlexMono-Regular.ttf") format("ttf");
  font-weight: 400;
  font-style: normal;
  font-stretch: normal;
  font-variant: normal;
}

@font-face {
  font-family: IBM Plex Mono;
  src: url("../fonts/IBMPlexMono-Medium.woff2") format("woff2"),
    url("../fonts/IBMPlexMono-Medium.ttf") format("ttf");
  font-weight: 500;
  font-style: normal;
  font-stretch: normal;
  font-variant: normal;
}

@font-face {
  font-family: IBM Plex Mono;
  src: url("../fonts/IBMPlexMono-Bold.woff2") format("woff2"),
    url("../fonts/IBMPlexMono-Bold.ttf") format("ttf");
  font-weight: 700;
  font-style: normal;
  font-stretch: normal;
  font-variant: normal;
}