@font-face{src:url(/FontWithASyntaxHighlighter-Regular.woff2) format("woff2");font-family:tios150}.tios151{font-family:tios150;color:#f1f1f1}