fontencoding for source code documentation in utf8