/* Needed for htmlcss extension */