Documentation: use code highlighting