Fixed some CSS issues with code highlighting