= 27d567bc2d48d9f40e9ccc20ea370b15)
Kindly comments on Open thread, July 23-29, 2013 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (197)
Is there a benefit from doing that server-side rather than client-side? I've long since configured my web browser to always use my favorite font rather than whatever is suggested by any website.
I'm going to agree with this post. Maybe an option to make everything appear in a preferred font would be useful, if the programmers aren't busy with anything else.