Add charset attribute name to document.html

The proposed change will add the charset attribute key "charset=" before its value, fixing an issue where some symbols do not display properly in certain browsers.