The HTML behind the formatting of a Google Docs document is an over-complicated mess -- any automated HTML tends to be. It also assumes the same style as the Google ...