It seems to have to do with the fact that the font is sometimes Times, and sometimes whatever the default font is. I don’t see an easy way of fixing this that doesn’t involve me changing lots of HTML tags by hand. If anyone knows how to fix it easily then please let me know.
Yeah, I guess so. Still might be worth it relative to changing lots of HTML tags by hand. By my (in all likelihood, none too accurate) count, you have four links, three latex expressions (only one of which needs to be latex), two numbered lists, one bullet list, and a bunch of section titles. Not too bad to do by hand...
Something funny has happened to the font of this post, making it difficult for me to read.
Should be fixed now, I think.
It seems to have to do with the fact that the font is sometimes Times, and sometimes whatever the default font is. I don’t see an easy way of fixing this that doesn’t involve me changing lots of HTML tags by hand. If anyone knows how to fix it easily then please let me know.
Um, load your post into a text editor and do a global search-and-replace..?
Luke’s solution
I’ve had some success in the past cut-n-pasting text into Notepad (which automatically strips all formatting) and then back into the edit window.
Won’t that kill things like bullets, links, images, etc.?
Yeah, I guess so. Still might be worth it relative to changing lots of HTML tags by hand. By my (in all likelihood, none too accurate) count, you have four links, three latex expressions (only one of which needs to be latex), two numbered lists, one bullet list, and a bunch of section titles. Not too bad to do by hand...