Fix a CSS processing and a HTML rendering bug