New color scheme for HTML and little improvements.