@font-face{font-family:Iosevka Bold;src:url(/fonts/Iosevka-Bold.woff2) format("woff2");font-weight:700;font-style:normal}.box,.card{height:100%}.iosevka-bold,.title,h1,h2,h3,h4,h5,h6{font-family:Iosevka Bold,monospace}.iosevka-italic{font-family:Iosevka Italic,monospace}.notation{font-family:Iosevka;white-space:nowrap;font-size:13pt}.has-text-huge{font-size:700%}.kw{color:#d65923}.str{color:#14b309}.op{color:#5a99f1}.n{color:#bddcff}.c{color:#747474}.b{color:#00c8b1}