Issue #42: add CSS to avoid ugly comments.