4 ms·
It's just a small mistake in the CSS file :) Since Julia requires a ton of Unicode characters, I'm using a different monospace type from usual, so I forgot to p
by krjt 6y ago
It's just a small mistake in the CSS file :) Since Julia requires a ton of Unicode characters, I'm using a different monospace type from usual, so I forgot to put the fall back `monospace` at the end of `font-family`, but it's fixed now.