/* Self-hosted body face for the website pages only. Not loaded by the one-pager:
   declaring "DejaVu Sans" there changes its glyph rendering and breaks the pixel gate. */
@font-face{font-family:"DejaVu Sans";src:url("../fonts/DejaVuSans.woff2") format("woff2");font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:"DejaVu Sans";src:url("../fonts/DejaVuSans-Bold.woff2") format("woff2");font-weight:700;font-style:normal;font-display:swap}