Manpages of colorcode in Debian wheezy