Doc/Http/Protocol, correct highlight code