@font-face{font-family:"IBM Plex Mono";src:url("../index/IBMPlexMono.woff") format("woff");font-style:normal;font-weight:400;-webkit-font-smoothing:antialiased;font-display:swap}@font-face{font-family:"IBM Plex Mono";src:url("../index/IBMPlexMono-Bold.woff") format("woff");font-style:normal;font-weight:700;-webkit-font-smoothing:antialiased;font-display:swap}:root{--grey:#81888c;--box-shadow:0px 0px 15px 0px rgba(0, 0, 0, 0.25);--check-font-regular:"IBM Plex Mono",IBM Plex,monospace}