Correct. The code editor that has the subscript: "The colors in the HTML snippet above comes from within the font itself, the code is plain text, and requires no JavaScript."
Which doesn't work without JS. So adding the @font-face to the page itself, so that things works even without JS, would be lovely.
Which doesn't work without JS. So adding the @font-face to the page itself, so that things works even without JS, would be lovely.