Code highlighting disabled for index.html