[DOC] changed code font

git-svn-id: http://svn.seqan.de/seqan/trunk@14720 e6417c60-b987-48fd-844e-b20f0fcc1017