@charset "UTF-8";
/* https://fonts.googleapis.com/css?family=IBM+Plex+Mono:100&display=swap&ver=7.0.4 */
@font-face{font-family:'IBM Plex Mono';font-style:normal;font-weight:100;font-display:swap;src:url(https://fonts.gstatic.com/s/ibmplexmono/v20/-F6pfjptAgt5VM-kVkqdyU8n3kwa1Xdm.woff) format('woff')}