Updates the code highlighting CSS.

Now, it actually works.