CSS docs page: apply <code> in a few places