Color styling doesn't work well when code has PHP opening tag '<?php' #704