Cleanup weird HTML characters, minor style tweaks