Small changes in welcome slides
Attempt at fixing code highlighting bugs