Unnamed repository; edit this file 'description' to name the repository.
-rw-r--r--
670
-rw-r--r--
109
-rw-r--r--
69
de-block'); const i = document.getElementById('contents'); o.innerHTML = (await highlighter.codeToHtml(i.innerText, { lang: "c", theme: 'ayu-mirage' })).replaceAll( "font-style:italic", "font-family:'Cascadia Code NF Italic', 'Cascadia Code', italic", );