Including the code highlighting CSS