Remove README.html unused by github, and remove uninterpreted styles from README.md.