@charset "UTF-8";
/* https://fonts.googleapis.com/css?family=Roboto+Mono:400 */
@font-face{font-display:swap;font-family:'Roboto Mono';font-style:normal;font-weight:400;src:url(https://fonts.gstatic.com/l/font?kit=L0xuDF4xlVMF-BfR8bXMIhJHg45mwgGEFl0_3vq_ROW-&skey=7b92570108d40690&v=v31) format('woff')}