3 ms·

I just disabled JavaScript by setting Firefox's "javascript.enabled" flag to false, and it still renders fine for me. Here's what the HTML source looks like whe

I just disabled JavaScript by setting Firefox's "javascript.enabled" flag to false, and it still renders fine for me. Here's what the HTML source looks like when I grab the page using curl: predicts that artificial intelligence (AI) will add $16trn to the global economy by 2030 So it looks like it's coming through in caps from the server. I don't think a lack of JavaScript by itself is causing the problem...

gwern 6y ago
> I don't think a lack of JavaScript by itself is causing the problem... , however, does not do lowercasing. All it does is make the font smaller. 'AI' should be caps regardless of whether it is wrapped in or not. That implies that something in the CSS or HTML is overloading to make it lowercase, so it can be correctly transformed to uppercase smallcaps for the reasons I explain above, which it assumes will be done by the later JS (which however doesn't run under NoScript). Using just makes it an even uglier unnecessary hack...