This allows CSS highlighting inside <style> elements of HTML files to
end wherever a </style> tag is present, and allows PHP code (<?php ...
?>) inside of PHP files to be properly highlighted inside <style>
elements.