[INTERNAL,DOC] Lots of improvements

git-svn-id: http://svn.seqan.de/seqan/trunk@14716 e6417c60-b987-48fd-844e-b20f0fcc1017
[FIX,DOC] TOC now works on Chrome again

git-svn-id: http://svn.seqan.de/seqan/trunk@14717 e6417c60-b987-48fd-844e-b20f0fcc1017
[FIX,DOC] TOC now works on Chrome again

git-svn-id: http://svn.seqan.de/seqan/trunk@14718 e6417c60-b987-48fd-844e-b20f0fcc1017
[FIX,DOC] Made search highlight better recognizable

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