TeX to HTML converters and using current web standards and styles | Hacker News Reader